ヒルベルト・プログラム（決定問題） - 『The New Media Reader』を読む

ヒルベルト・プログラム（決定問題）

数学者ヒルベルトが出した、数学を完璧にしようとするもの。

ヒルベルト・プログラムは、「真である命題は（有限回の手続きで）必ず証明できる」「公理（推論の基礎となる仮定）からどれだけ推論をしても、矛盾が示されることは決してない」かどうか、完全性と無矛盾性を問うものであった。