人類の英知と真の自由さ こんにちわ、メタといいます。 Follow @kyogoku_meta 私がこれまで生きてきて、本当に度肝を抜かれたアイデアたちを紹介したい。初めてそれらアイデアに触れたとき、本当に脳汁がドボドボだった。体も心底震えた。 そして、それほど…

不完全性定理に興味ありますよね...? コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ- 作者: 照井一成 出版社/メーカー: 青土社 発売日: 2015/02/24 メディア: 単行本 この商品を含むブログ (11件) を見る こちらのページでま…