いい本のまとめ
多くの読者が高く評価しているおすすめの本と書評
  ベスト1000冊

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-

著者:照井一成 
出版社:青土社
単行本:357ページ
発売日:2015-02-24
キーワード: コンピュータ  数学者  数学  証明  プログラム  理論 
評価 3.9   読者数 2.3
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
       

<マイリスト>

<目次>

1 数学者を作ろう
  • 数学者とは何か
  • 人工言語を画定する ほか
2 対角線上に追い詰めろ
  • 対角線論法とは何か
  • 言語の限界 ほか
3 計算よ停まれ!
  • 数列の生成と停止
  • 全員整列! ほか
4 NPの壁
  • しらみつぶしと数学知性
  • P・NPとは何か ほか
5 活き活きした証明
  • ラムダ計算
  • 証明はプログラムである ほか
6 対角線方向にむかう未来