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