不完全性定理に興味ありますよね...?
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
- 作者: 照井一成
- 出版社/メーカー: 青土社
- 発売日: 2015/02/24
- メディア: 単行本
- この商品を含むブログ (11件) を見る
こちらのページでまとめました。
不完全性定理入門 from「コンピュータは数学者になれるのか」
「好き」をブチ抜く
本、映画、科学、哲学、心理、すごい人の考え方など。あらゆる情報を編集したい。
