2010-09-18から1日間の記事一覧
吉永良正『ゲーデル不完全性定理』講談社ブルーバックスを読了。後半はゲーデルの「完全性定理」と「不完全性定理」の解説。数学的証明の過程は、再読しても私の知能では理解できない。でも、なんとなくワカル気がする。≪ゲーデルの完全性定理は、論理学の形…
吉永良正『ゲーデル不完全性定理』講談社ブルーバックスを読了。後半はゲーデルの「完全性定理」と「不完全性定理」の解説。数学的証明の過程は、再読しても私の知能では理解できない。でも、なんとなくワカル気がする。≪ゲーデルの完全性定理は、論理学の形…
