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

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