基礎を揺るがした数学的証明

1930年代、数学者ゲルハルト・ゲンツェンはシーケント計算を考案しました。これは論理的証明の新しい構造です。この洗練されたシステムは、ダフィット・ヒルベルトの課題解決に役立ちました。算術の無矛盾性を証明し、数学の信頼性を確保しました。1936年、ゲンツェンはこの計算を用いてペアノ算術の無矛盾性を証明しました。これは自然数の基礎です。この画期的な成果は、超限帰納法に依拠していました。ゲーデルの不完全性定理と一致し、算術が自身の無矛盾性を証明できないことを示しました。ゲンツェンの研究は現代のコンピューティングに影響を与え続けています。純粋数学と実用的なプログラミングを結びつけ、線形論理の基礎も築きました。