3.9
読者数 
2.4
- 数学者とは何か
- 人工言語を画定する ほか
- 対角線論法とは何か
- 言語の限界 ほか
- 数列の生成と停止
- 全員整列！ ほか
- しらみつぶしと数学知性
- Ｐ・ＮＰとは何か ほか
- ラムダ計算
- 証明はプログラムである ほか
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
＜マイリスト＞
＜目次＞
１ 数学者を作ろう