2006-01-12から1日間の記事一覧

ゲーデルの不完全性定理

書評

「ゲーデルの不完全性定理」高橋昌一郎。ゲーデルの不完全性定理とは、自然数論を含むシステムの中で無矛盾かつ証明可能な命題はない、というもの。一般にすべての理性的な命題は自然数論を含むから、人間の理性の限界を示したなどと言われる場合もある。本…