カテゴリー: higher-order logic

ゲーデルの不可能性定理や、チューリングのhalting problemは当時undecidablityに関する定理だと思われていたが、NP completeなどの体系がクック、レビンらにより定理化されるにつれて、その決定…
Read more

アロンゾ・チャーチ（Alonzo Church, 1903–1995）は、計算のエンジンを設計した論理学者です。 1. ラムダ計算（lambda-calculus）の創始 1930年代、チャーチは数学的な「関数」を極限ま…
Read more

高階論理（Higher-Order Logic: HOL）の歴史は、数学の基礎を「次元」や幾何などの数ではなく「論理」的階層化を追求します。 1. 黎明期：数学の論理化（19世紀末 – 20世紀初頭） 数学を…
Read more

どんなに稼いだとしてもそれがゼロサムゲームで他人の資本や利益を毀損して得たものであれば重い粘りがついてしまっているため、自由に使うことは物理的にできない。一方、高階論理により生み出された別次元からやってきた金は現実空間と…
Read more