[過去ﾛｸﾞ] 数学＞＞＞＞物理 (412ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
129: ココ電球 _/::o-ν ◆tIS/.aX84. 2011/10/19(水)17:52 ID:iiY76d4A(1/7) AAS
暗黒整数がとどいた
わーいわーい
130: ココ電球 _/::o-ν ◆tIS/.aX84. 2011/10/19(水)17:56 ID:iiY76d4A(2/7) AAS
じゃ演繹もだめ
帰納法を含んだ公理は暗に帰納法を行う物理的存在を含んでいるので
自然数論および帰納的に記述された公理を含む公理系は別の公理群を一緒に記述しないとおかしな結果を招きます。
その公理群とはチューリングマシンと時間
131: ココ電球 _/::o-ν ◆tIS/.aX84. 2011/10/19(水)17:59 ID:iiY76d4A(3/7) AAS
１００歩ゆずって帰納的に定義した公理が有効だとします。
たとえば無限大まで自然数の数列が存在することを示す場合
ひとつの帰納手順に無限小の時間が必要だとして、無限大まで数え上げるまでどれくらいの時間が必要になるでしょうか？
無限大/無限大はいくつですか？
132: ココ電球 _/::o-ν ◆tIS/.aX84. 2011/10/19(水)18:00 ID:iiY76d4A(4/7) AAS
超数学って素敵 （はあと）
133: ココ電球 _/::o-ν ◆tIS/.aX84. 2011/10/19(水)18:07 ID:iiY76d4A(5/7) AAS
ということで 自然数列は有限と無限の間に濃度不定の領域が存在し
その一部が連続体仮説を否定する。
136: ココ電球 _/::o-ν ◆tIS/.aX84. 2011/10/19(水)19:37 ID:iiY76d4A(6/7) AAS
ホワイトライトほしーい
でも９８円で買うのに送料がもったいないので他にいくつか１円CDとかも頼まないと
137: ココ電球 _/::o-ν ◆tIS/.aX84. 2011/10/19(水)19:39 ID:iiY76d4A(7/7) AAS
ああ本物の帰納法は多重ループをつくるのね
ペアノの定義は単ループだし
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.813s*