完全性定理の2つの証明 ― ゲーデル流とヘンキン流
一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。
最新の記事
すべての記事 →デザインパターン再入門 ― GoF の23パターンを TypeScript で読み直す
GoF の23パターンの全体像を整理し、現代の TypeScript やフロントエンド開発でも役立つ6つのパターンを、動くコードとともに解説します。使いすぎの落とし穴と、言語やフレームワークに溶け込んだパターンの見つけ方も。
年表で見る20世紀の数理論理学 ― ゲーデルとタルスキ
不完全性定理と真理の定義不可能性定理を軸に、20世紀の数理論理学の流れを年表で整理します。
About
お疲れ様です。システムエンジニアをしています。
勉強したことを載せていきます。よろしくお願いします。
Skills
C#2 years
JavaScript3 years
Vue2 years
Nuxt2 years