完全性定理の2つの証明 ― ゲーデル流とヘンキン流
一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。
数学
「数学」の記事 2 件
ほかのタグ
バックプロパゲーション（誤差逆伝播法）を数式から理解する
ニューラルネットワークの学習を支えるバックプロパゲーションを、連鎖律から4つの基本式を導くところまで丁寧に解説します。数値例と NumPy の実装つき。