Syu's quiz blog

勝手に今日輝いていたハルヒのレス：

-----------------------------

240 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:07:04 ID:rjyUC3dC
　不完全性定理だのネイチャーの英語論文だの・・・。
　おそろしく賢い奴が多いんだなこのスレ・・・。
　つか自己の無矛盾を証明出来ないってのはキョンの疑問の説明になんのか？
　キョンは具体的な矛盾を指摘して質問してるのに。
　その辺が俺の頭ではわからん。

257 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:08:26 ID:Si0xlEmo
　最後にもう一回頼んます。

　『矛盾を含まない公理系を使って「その公理系自身は矛盾を含まない」を証明できない』
　っていうのは、今回の話で言うと、
　ハルヒの作り出した世界のルールを用いて、
　その世界における無矛盾（例えば時間が連続あるいは非連続で確定し、矛盾がないこと）は証明できないってこと？

272 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:09:49 ID:1Amj9Cv+
　>>240
　なる
　前スレ辺りに詳しい説明がわんさかあったよ

276 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:10:07 ID:Ls0QoaO7
　>>240
　「矛盾してね？」
　「いやだって無矛盾を証明できないし」
　会話としては成立してるな。考えてもムダだから考えるな、って言いたいんだろ

286 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:10:47 ID:zKYqmV5F
　>>257
　この質問とか話題がループしてるが、これが自明だって分からないかね
　証明っぽいのは他のスレにあったけどさ

294 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:11:29 ID:rjyUC3dC
　>>257
　わかんねーよなぁ。
　つーか時間平面理論ってのは物理的な理論ではなくて数学的なものなのか？

295 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:11:32 ID:ah55sFZs
　>>257
　だいたいおkだけど

　世界における無矛盾→世界のルールの無矛盾
　あと「ハルヒの作り出した世界のルールが無矛盾である」が前提

318 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:13:28 ID:Xbg6xede
　>>257多分正解

　今回のループで上書きされたキョン達には理解不能

　しかしこのループが次なる改変を生む・・・生んだのかもしれない

　個人的には長門を無敵にして朝倉に勝利させるためだったんじゃないかと思う

319 風の谷の名無しさん＠実況は実況板で sage 2009/05/22(金) 03:13:29 ID:DzzvXGbw
　>>257
　　／.:.:.:.:.:.:.:.:.:.:.:.:.ア_
　/.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ､
　:.:.:.:.:.::.:.:.:.:.:i.:.:.:l:.:.:.:.:.:.:.:.:.:ヽ､
　:.:.:.:.:.:.:i|:.:./ |:.:li､:.:.∧:.:.:.:.ﾄ､.i
　:.:.:.l.:.:.:l.|/--l/　|ナ .ｌ:.:.:.:.l　l|
　:.:.:|:.:.:.:|　‐‐　　 ‐-　ｌ:.:.l/
　:（｀!.:.:.l　　　　| 　　 l.:.:.|　　　-‐
　ﾞ､ヾ!.:.:|　　　　　　 ,i:.:.:l　　　‐-
　　.ﾞl ｌ:.:! ､ 　‐‐　 ノ.|::./　　　､
　　/-ヽ|=ﾆ''.-r''　　 l;/　　　　ヽ
　/　　　　　`''ﾅ-､
　　　　　　　/　/:.ヽ
　　　　　　 /　/: : :.ヽ
　　　　　　/　/: : : : :l
　ｰ-　 ＿/　/ : : : : :.l
　ｰ-:.:..,,,,＿/: : : : : : :l
　: : : : : : : : : : : : : : : :|
　　　　　　　__,,,..::-ｰｰｧ''
　　　　　,r‐´.:.:.:.:.:.:.:.:.:｀ヽ､ 　 　 　　 /
　　　　/.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ.　　　　 l 　　さ
　　　 /.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:lヾ､　　　 |　　 ぁ
　　　/ｲ.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:i.:l　　　　　l.　　て
　　　　l:.:.:.:.:.:.:.:.:.:.:.:.:.:fﾞi:.:|ﾘ!　　　ｰ='　　 ね
　　　　l∧:.:.:.:.:.:.:.:.:.:,人l:.l ﾉ　　　　　ｌ
　　　　　　ヽﾄ::;i､:／　,ゝ!'　　　__　　ヽ､
　　　　　r:r'''ﾞ ﾞ'ﾞ'''ｰ-<ﾆ,y''ﾞﾞﾞ￣l.||　　　 `ー
　　　 　.l i　　　　　 //:.｀ヽ　　l||
　　　　 | l　 　 　 　i l: : : : :l　r-'｀､
　　　　.| l　　　　　 l l : : : : :l　 〉　}
　　　　l. ﾞｰ‐-- .__,,j .|: : : : :.ヾ⌒〈
　　　　｝ｰ──---=': : : : : : :ヽ.:ﾉ

-----------------------------

（舟）
　ある意味、「さぁてね」って返答してくれていた方が、まだスッキリしていたかも。

[PR]

ゲーデルの哲学―不完全性定理と神の存在論 (講談社現代新書)
	高橋 昌一郎 講談社 1999-08 売り上げランキング : 69919 おすすめ平均 内容が豊富な良書 ゲーデルが「無門関」に出てきたらどうなるのか？ 著者は読者にどの程度の理解を期待しているのか、がわからない Amazonで詳しく見る by G-Tools

-----------------------------

「輝いていたハルヒのレス」リスト一覧：
総合／歌／改変／ガイドライン
SS／SS・ハルキョン／SS・長キョン／SS・佐々キョン

-----------------------------

引用元：涼宮ハルヒの憂鬱 SOS団の活動1191.1日目