Mathlog
あにりん
あにりん
42
4635
不完全性定理、様相論理、算術のモデル理論に関心があります
ホーム
記事6
本0
大学数学基礎解説
あにりん
2日前
超丁寧に解説するゲーデルの第一不完全性定理
数理論理学,不完全性定理
4
0
649
0
初心者マーク
初心者
文献あり
大学数学基礎解説
あにりん
9日前
超丁寧に解説するΣ_1完全性と表現定理
数理論理学,Σ_1完全性,表現定理
6
0
317
0
初心者マーク
初心者
文献あり
大学数学基礎解説
あにりん
10月1日
高校生から分かる様相論理入門(対応理論)
様相論理,数理論理学,対応理論
6
0
1096
0
初心者マーク
初心者
文献あり
大学数学基礎解説
あにりん
9月11日
超丁寧に解説するゲーデルの完全性定理(後編)
数学基礎論,数理論理学,完全性定理
4
0
368
0
初心者マーク
初心者
文献あり
大学数学基礎解説
あにりん
9月6日
超丁寧に解説するゲーデルの完全性定理(前編)
数学基礎論,数理論理学,完全性定理
14
0
1414
0
初心者マーク
初心者
文献あり
高校数学解説
あにりん
2024年12月6日
整数解を考えるのに無理数が出てくるよ!って話
初等整数論,ピタゴラス数,ペル方程式
8
0
791
0
読み込み中...
読み込み中