TL;DR 命題論理、述語論理、様相論理などの形式論理の基礎を学んだ後、ゲーデルの不完全性定理を通して「計算」の意味を理解する。 計算モデルの典型であるラムダ計算を学び、論理と計算の関係と、両者をつなぐ仕組みを理解する。 関連 ラムダ計算 岩波書店の書籍ページ