2020年1月の記事一覧
10分で分かるゲーデルの不完全性定理 ~ いまさら聞けないコンピュータサイエンス【連載第1話】
「我々は知らねばならず、そして知るであろう」
ドイツが生んだ大数学者であり、「現代数学の父」と呼ばれた天才ダフィット・ヒルベルトは、このスローガンをかかげて世界の数学者を激励しました。
ドイツが第一次世界大戦とベルサイユ条約による打撃から回復し、ヨーロッパにナチスの足音が聞こえ始めた1930年(昭和5年)に、すでに晩年にあったヒルベルトによるこのスローガンから、コンピュータサイエンスの壮大なド