| 156ページ | ホーム | 前のページ | 次のページ | 印刷用PDF | サイトマップ |
 |
|||||
| このページの上端へ行く | ホーム | 前のページ | 次のページ | 宇田雄一について | |
| 【SEOテキスト】宇田雄一「古典物理学」e15の定義:∀f∈F14;e15(f)⇔[【1】or【2】]【1】f∈F3 and e3(f,Y,0)【2】∃n∈N;f∈F14,n
and e5(f(□,□,□),f(□,□))ところで、e3(f,Y,0)の真偽はYと無関係だから、本書ではXやYについて何も断らず、単にe3(f,X,0)とかe3(f,Y,0)と書くことにした。また、Z(N3)=0のときにはe1(f,Z,M,m)の真偽はmと関係なくなる。この場合にはmについての断り書きを省略する。mの代わりに勝手な文字を用いても良い。m(2)=0の場合には、e1(f,Z,0,m)の真偽はZと無関係になる。このときにはZについての断り書きを省略する。Zの代わりに勝手な文字を用いても良い。e3はマックスウェル方程式と呼ばれる。 |
|||||
| 物理学正典 | 初等力学正典 | 電磁気学正典 | 相対性理論正典 | 解析力学正典 | 量子力学正典 |