fail log
2011年1月12日水曜日
リンデンバウム代数
論理と代数を繋げる考え
Lindenbaum Tarski algebraというらしい(Tarskiェ…)
ゲーデルの不完全性定理を代数学を使って表現してみた
数理論理学では常識?
「位相と論理」P.40 で触れられている
Fundamentals of mathematical logic
0 件のコメント:
コメントを投稿
次の投稿
ホーム
登録:
コメントの投稿 (Atom)
0 件のコメント:
コメントを投稿