嘘吐き文

書いてみる

関連タグ

#ゲーデル (97)
#ゲーデルの不完全性定理 (46)
#ゲーデル数 (4)
#タルスキ (2)
#タルスキの定理 (2)
#タルスキの定義不可能性定理 (2)
#タルスキの真理定義不可能性定理 (2)

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

犬神工房
2年前