好きをブチ抜く
不完全性定理に興味ありますよね...? コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ- 作者: 照井一成 出版社/メーカー: 青土社 発売日: 2015/02/24 メディア: 単行本 この商品を含むブログ (11件) を見る こちらのページでま…
こちらのページでまとめています。 qiita.com
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。