有理か非有理か 三元か四元か 静電単位系、電磁単位系 MKSA単位系 cgsガウス単位系 目次 有理か非有理か 三元か四元か 静電単位系、電磁単位系 静電単位系 電磁単位系 付記: 磁束密度Bと磁場H MKSA単位系 cgsガウス単位系 相対論との関係 有理か非有理か 電磁気の単位系に影響を与えるものに「有理化をするかしないか」がある。これは一見すると単なる係数の取り方の違いにも見えるけど、単位系の間の単位換算を考える上では一番ややこしくなる原因かもしれない。 まずクーロン力とクーロンの法則についての式を、有理化していない形で書くと次のようになる。 一方、同じ法則を有理化した形で書くと次のようになる。 この形で比べると有理化していない式の方が簡潔だけど、微分形で書くと、 非有理化: 有理化: となって、有理化した方が式が簡潔になる。 磁場についても、ローレンツ力とアンベールの法則を書いた時

人間の心を実現する人工知能は作れないとか人間は機械ではないことが不完全性定理から導かれるという主張(とそれに対する否定・批判)がしばしば行われてきた。議論の根本の部分は単純なので、そのあたりについてのメモを書いておく。特に目新しい議論や主張はない。 この主張でたぶん一番有名なのはルーカスの"Minds, Machines and Gödel"(1961)という論文。 簡単な算術ができて無矛盾であるどんな機械が与えられても、その機械から真として出力されないような式——つまりそのシステムで証明できない式——が存在する。しかしその式を我々は真だと理解できる。よってどんな機械も心の完全で適切なモデルになれず、心は本質的に機械とは異なる。 (J. R. Lucas "Minds, Machines and Gödel") また高橋昌一郎『ゲーデルの哲学』(1999)には、ルーカスと同様のことをゲーデ