不完全性定理とはなにか ゲーデルとチューリング天才はなにを証明したのか / 竹内薫
証明が不可能であることは証明できるのか。ゲーデルの不完全性定理」と「チューリング機械の停止問題」、この難題をどう解決したのか<br>竹内薫
講談社
2024年11月
フカンゼンセイ テイリ トハ ナニカ カンゼンバン
タケウチ カオル
/
講談社
2024年11月
フカンゼンセイ テイリ トハ ナニカ カンゼンバン
タケウチ カオル
/