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

「我々は知らねばならず、そして知るであろう」

ドイツが生んだ大数学者であり、「現代数学の父」と呼ばれた天才ダフィット・ヒルベルトは、このスローガンをかかげて世界の数学者を激励しました。

ドイツが第一次世界大戦とベルサイユ条約による打撃から回復し、ヨーロッパにナチスの足音が聞こえ始めた1930年（昭和５年）に、すでに晩年にあったヒルベルトによるこのスローガンから、コンピュータサイエンスの壮大なド