講座数学の考え方 ２３

数学と論理　

朝倉書店
飯高茂　 難波完爾

• 価格: 5,280円（本体4,800円＋税）
• 発行年月: 2003年04月
• 判型: Ａ５
• ISBN: 9784254116038

内容情報

[BOOKデータベースより]

１　数学の小史（記号の博物誌；数と論理の小史；複雑さと計算量）
２　古典述語論理（項と論理式；推論と証明；モデルと正しさ；証明と完全性）
３　数と論理の話（自然数の体系；原始帰納的関数；計算可能性；不完全性定理）
４　集合論の話（公理的集合論；順序数；選択公理の周辺；独立性の話）
５　有限の話（有限体；楕円曲線と有限体；計算量の話；有限から無限へ）

[日販商品データベースより]

ものごとに関する基本的なことばである数と論理。その歴史的発展をひとつの視点からたどりながら、数学の論理構造を興味深く語り、難解といわれる数学基礎論を平易に展開する。