古本屋の覚え書き

古い書評&今週の一曲

2009-07-29から1日間の記事一覧

ゲーデルの不完全性定理

たとえば、「ゲーデルの不完全性定理」といいますが、これは正確にいえば、「ゲーデルによって証明された、ペアノの算術公理系を含む無矛盾な形式的体系――簡単にいえば、算術を含む無矛盾な体系――に関する不完全性定理」のことです。なんに関するというとこ…