ヒルベルト・プログラムとゲーデルの定理：ゲーデルの不完全生定理によってヒルベルトの無矛盾性プログラムは実行不可能であることが証明された、というのは現在かなり広く受け入れられている見解である。しかし、ヒルベルトのプログラムそのものについての解釈はさまざまであり、したがって、この公式見解を巡って様々な議論が起こっている。この講義では、そこで何が問題になっているのかを探ってみたい。