ヒルベルトのビール・ジョッキ・椅子みたいな理論だ。
「数学は形式主義なので、単語を入れ替えても意味が成り立たねばならない」
フォロー
@MageManager 「（記号としての）単語を入れ替えても意味が成り立つ」は，ヒルベルトよりずっと前から論理学の原理として認識されていたと思いますが，ヒルベルトが言ったのは，点，直線，平面を，机，椅子，ビールジョッキーで置き換えて _解釈_ しても (これらが公理を満たすなら) 同じ理論が成り立つ，ということだったのだと思います．
ちなみに，これはヒルベルトが言ったと他の人が書いているだけで，ヒルベルト自身の書いたものの中に見られる表明ではないようです．記憶に間違えなければ Blumenthal が，ヒルベルトがこれをある学会の帰り道に駅の Kenipe (居酒屋) で言った，とどこかで書いたのが広まったということだったと思います．
＃数学 #数学史
