「teratailもりあがっtail」におけるサイバーいじめ (843ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
495(1): 仕様書無しさん [sage] 2022/03/18(金)13:12
KPは「お互いに証明出来ない」を認めた
2chｽﾚ:prog
464 仕様書無しさん 2022/03/18(金) 12:58:33.25
ゲーデルの不完全性定理によると、463が正しいとは限らない
よって、463は463の正しさを証明出来ない
465 仕様書無しさん sage 2022/03/18(金) 13:00:34.95
>>464
その通り
お互いに証明出来ないことが証明されたな
466 KEMONO_PANTSU 神 ◆sRRjTYeJB. 2022/03/18(金) 13:01:35.72
>>465
その通り
私はteratailで何回もBANされた。
496: KEMONO_PANTSU 神 ◆sRRjTYeJB. [] 2022/03/18(金)13:15
>>495
あなたはゲーデルの不完全性定理を誤解している。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s