20/05/21 19:35:49.55 0.net
エヴァに喩えてる人がいるから乗っかると、既成の分析哲学や数学基礎論はカシウスやロンギヌスの槍であり
エヴァでありインフィニティのなり損ないでもある
問題はそれらをどうやってまとめあげるか？
ヒルベルトのプログラムすら本当の意味で頓挫したとは言い切れない
これは不完全性定理以後の数学基礎論の研究者がなんとなく感じてきたが手がかりを掴めなかった謎でもある
ところがまた今世紀状況が変わってきた
20/05/21 19:35:49.55 0.net
エヴァに喩えてる人がいるから乗っかると、既成の分析哲学や数学基礎論はカシウスやロンギヌスの槍であり
エヴァでありインフィニティのなり損ないでもある
問題はそれらをどうやってまとめあげるか？
ヒルベルトのプログラムすら本当の意味で頓挫したとは言い切れない
これは不完全性定理以後の数学基礎論の研究者がなんとなく感じてきたが手がかりを掴めなかった謎でもある
ところがまた今世紀状況が変わってきた