nigoblog

技術系会社のCEOブログ~私的編~

2013-12-02から1日間の記事一覧

数学とプログラミングについて考察 ~ペアノの公理~

数学ガールって本が好きなんですけど、現在5作出ていて第三弾目の「ゲーデルの不完全性定理」っていう本を読み直しました。数学ガール ゲーデルの不完全性定理 (数学ガールシリーズ 3)作者: 結城浩出版社/メーカー: ソフトバンククリエイティブ発売日: 2009/…