純粋・応用数学・数学隣接分野（含むガロア理論）12

純粋・応用数学・数学隣接分野（含むガロア理論）12at MATH

純粋・応用数学・数学隣接分野（含むガロア理論）12 - 暇つぶし2ch338:わかるすうがく近谷蒙
23/01/03 09:58:06.66 b5Fu+qY0.net
嘘つきパラドックス
クワイン版
「を二度繰り返した文章はウソであるを二度繰り返した文章はウソである」
ベリー版
「○○○○○○○○○○○○○○○の二倍の長さの文章はウソである」
ヤブロ版
S0「S1はウソである」
S1「S2はウソである」
S2「S3はウソである」
…
Sn「S_n+1はウソである」
…
「はウソである」を「は証明できぬ」と置き換えると、ゲーデル文

次ページ

続きを表示

1を表示