[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★10 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
921(3): 10/18(土)13:19 ID:TY9fj/KB(1/2) AAS
>>917
まったくもってそのとおり。
未完成の最終版が新たに出てくる（無限ループ）。
その命題こそ、著者自身が《唯一完全に》証明済み。（ ）
922(1): 10/18(土)13:49 ID:TY9fj/KB(2/2) AAS
>>921に補足。念の為。
＞《唯一完全に》
15もの『証明』の「完全性を否定」するつもりではない。
確かに「不完全」を狭義にとれば「証明の一部に不備がある、即ち部分的には正しい」と認めているようにとれるが、語弊というもの。
そもそも読むに値するやら、これまでの最終版スピーカーの対応から、個人的には十分に察せられる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s