このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.

照井さんの本に期待． 照井一成 著「コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ」 青土社2015/2/24 http://t.co/UUZdllbvvX

— 蟾蜍（時々まあ飲めよbot) (@patho_logic) 2015, 2月 13

patho_logic さんのアレだし中身が気になる.
そういえば菊池誠『不完全性定理』もいまだにきちんと読めていない.