ログイン
会員登録
ゲーデル数
書いてみる
関連タグ
#ゲーデル (74)
#0 (588)
#MECE (356)
#OMEGA (119)
#ZFC (408)
#ZFC公理系 (27)
人気
急上昇
新着
定番
有料のみ
3件
人気の記事一覧
数学(2023/2/26):記号をゲーデル数ではなくもっと弱い何かで代替した方が良いのではないか
犬神工房
1年前
5
数学(2022/6/11):キューネン本2冊についての記事_8.ZFC集合論の公理のリスト_6(中間生成物:形式言語)
犬神工房
2年前
3
20021224 ゲーデル数
雑記草(ざっきそう)
3年前
10