「#ゲーデル数」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

数学（2023/2/26）：記号をゲーデル数ではなくもっと弱い何かで代替した方が良いのではないか

1年前

5

数学（2022/6/11）:キューネン本2冊についての記事_8.ZFC集合論の公理のリスト_6（中間生成物:形式言語）

1年前

3

20021224　ゲーデル数

雑記草（ざっきそう）

3年前

10