0975マ一マレ一ド (ワッチョイ 6323-7bth)垢版 | 大砲2018/06/16(土) 12:11:43.11ID:r2A+41an0 チューリングは停止性問題などに基づいて 「数学は完全なのだが、人間の理性には欠陥があるのだから理解しえない」 と考えた ゲーデルは不完全性定理に基づいて 「人間の理性に限界があるとしたら、その意味するところは何であろうか」 と問い直した