[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

469: 2017/07/08(土)20:44 ID:fLvsPSGe(1/9) AA×
>>459


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
469: [] 2017/07/08(土) 20:44:57.11 ID:fLvsPSGe 反響があるとは意外。 >>459 多分勘違いをしていると思う。 まず、集合論でも連続体仮説が成り立つモデルと成り立たないモデルがとれることからも分かるように、 一般に、ある一つの無矛盾な公理系に対して、それが成り立つモデルはたくさん存在する。 そして、PA + ∃n (H_M(n))のモデルは、当然PAも成り立つから、同時にPAのモデルでもある。 (PA + ∃n (H_M(n))は矛盾していない。PAが無矛盾なら、PAから ¬∃n (H_M(n))が導出されてしまう心配は無いのだから) PAのモデルに属していれば自然数であるから、∃n (H_M(n))の証拠となる超準的自然数さえも、自然数であることに 変わりなく、0,1,2のようなPAだけから存在を証明できる自然数(仮に普通の自然数と呼ぼう)と比較可能で、 どんな普通の自然数よりも大きい。 だから、異なるモデルでも大きさを比較できるのはその通りだが、超準的自然数を含んでいるモデルのほうが圧倒的に有利である。 超準的自然数を出してしまえば、超準的自然数を含まないモデルに属する自然数に必ず勝てるのだから。 そして機械Mの状態数がm以下であれば、BB(m)には超準的自然数が採用されるだろう。 機械Mを構成するのに必要な状態数はせいぜい普通の自然数で足りるだろう。 http://rio2016.5ch.net/test/read.cgi/math/1484923121/469
反響があるとは意外 多分勘違いをしていると思う まず集合論でも連続体仮説が成り立つモデルと成り立たないモデルがとれることからも分かるように 一般にある一つの無矛盾な公理系に対してそれが成り立つモデルはたくさん存在する そして のモデルは当然も成り立つから同時にのモデルでもある は矛盾していないが無矛盾ならから が導出されてしまう心配は無いのだから のモデルに属していれば自然数であるから の証拠となる超準的自然数さえも自然数であることに 変わりなくのようなだけから存在を証明できる自然数仮に普通の自然数と呼ぼうと比較可能で どんな普通の自然数よりも大きい だから異なるモデルでも大きさを比較できるのはその通りだが超準的自然数を含んでいるモデルのほうが圧倒的に有利である 超準的自然数を出してしまえば超準的自然数を含まないモデルに属する自然数に必ず勝てるのだから そして機械の状態数が以下であればには超準的自然数が採用されるだろう 機械を構成するのに必要な状態数はせいぜい普通の自然数で足りるだろう

---

上下前次1-新書関写板覧索設栞歴

---

あと 533 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.038s