ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ
『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Berglund-H\"ubsch mirror symmetry via vertex algebras
Toric complete intersections and weighted projective space
Minimal model theorem for toric divisors
Counting BPS states on the Enriques Calabi-Yau
Triviality of fibered Calabi-Yau manifolds without singular fibers
Mirror Symmetry, Mirror Map and Applications to Calabi-Yau Hypersurfaces
Enriques Surfaces - Brauer groups and Kummer structures
The Hirzebruch Collection - Hirzebruch Collection
Modular forms for the even unimodular lattice of signature (2,10)
Worldsheet Instantons and Torsion Curves, Part A: Direct Computation
Elliptic K3 related data
Lattice polarized toric K3 surfaces
An N=2 Dual Pair and a Phase Transition
A Calabi-Yau threefold with Brauer group (Z/8Z)^2
Integral Cohomology and Mirror Symmetry for Calabi-Yau 3-folds
LG/CY correspondence: the state space isomorphism
Symplectomorphism group relations and degenerations of Landau-Ginzburg models
mathnet.or.kr
Higher genus Gromov-Witten invariants of the Grassmannian, and the Pfaffian Calabi-Yau threefolds