◆雑談スレ363◆ 髪狩り

975 ：マ一マレ一ド ：2018/06/16(土) 12:11:43.11 ID:r2A+41an0.net

チューリングは停止性問題などに基づいて
「数学は完全なのだが、人間の理性には欠陥があるのだから理解しえない」
と考えた

ゲーデルは不完全性定理に基づいて
「人間の理性に限界があるとしたら、その意味するところは何であろうか」
と問い直した