25/11/05 13:56:24.76 K/Lr81ky.net
>>252 補足
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、
↓
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、”Finite-Order Arithmetic”使えば
フェルマーの最終定理証明に
グロタンディーク宇宙は 不要では？
という発想は、非常に興味深いです （＾＾
25/11/05 13:56:24.76 K/Lr81ky.net
>>252 補足
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、
↓
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、”Finite-Order Arithmetic”使えば
フェルマーの最終定理証明に
グロタンディーク宇宙は 不要では？
という発想は、非常に興味深いです （＾＾