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

証明できないことを証明

1か月前

1

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

2年前

5

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

2年前

3

20021224　ゲーデル数

雑記草（ざっきそう）

4年前

10