23/09/17 09:59:08.77 cFrF0s2J.net
>一晩考えた末に戦略の致命的な欠陥が見えてしまった。
具体的手続きが示されないことが「致命的な欠陥」というのは
選択公理を理解してない証拠
そういえばヒルベルトが不変式の有限基底の存在を
基底を求める具体的手続きを示すことなく証明したとき
ゴルダンはこういったそうだ
「これは数学じゃない！神学だ」
いいたいことはわかるが、数学史上は●●老人の発言として扱われる「迷言」
23/09/17 09:59:08.77 cFrF0s2J.net
>一晩考えた末に戦略の致命的な欠陥が見えてしまった。
具体的手続きが示されないことが「致命的な欠陥」というのは
選択公理を理解してない証拠
そういえばヒルベルトが不変式の有限基底の存在を
基底を求める具体的手続きを示すことなく証明したとき
ゴルダンはこういったそうだ
「これは数学じゃない！神学だ」
いいたいことはわかるが、数学史上は●●老人の発言として扱われる「迷言」