10分で分かるゲーデルの不完全性定理 ～ いまさら聞けないコンピュータサイエンス【連載第１話】

「我々は知らねばならず、そして知るであろう」 ドイツが生んだ大数学者であり、「現代数学の父」と呼ばれた天才ダフィット・ヒルベルトは、このスローガンをかかげて世界の数学者を激励しました。 ドイツが第一次世界大戦とベルサイユ条約による打撃から回復し、ヨーロッパにナチスの足音が聞こえ始めた1930年（昭和５年）に、すでに晩年にあったヒルベルトによるこのスローガンから、コンピュータサイエンスの壮大なドラマが始まります。 １．数学者に禅問答を課した「ヒルベルト・プログラム」時は遡