Π01言明について理解しておこう (103ﾚｽ)
上下前次1-新
1(1): BLACKX ◆SvoRwjQrNc 02/23(日)18:43 ID:f/qalxpg(1/5) AAS
ZFCの無矛盾性を信じるだけでは, ZFCでの証明可能性から A (引用者注: Aは算術的定理)が真だとすることは, 一般的に正当化できないのである
ゲーデルの第二不完全性定理によると, ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、この理論は真なるΠ01言明「ZFCは無矛盾である」を自明に反証できる。また、同じことだが、偽なる言明「ZFCは矛盾している」を自明に証明できる。
よって、証明されたとしても
無矛盾な理論のなかには, 証明できても偽である算術的言明がある
84: BLACKX ◆SvoRwjQrNc 02/28(金)04:48 ID:ojXUA5Zp(1) AAS
スレチなのでそっちはそっちだけでやって
85: poem 02/28(金)09:48 ID:islS+KHg(1/5) AAS
箸休めCMよ
内容ここに掲示
いいかんじ
貼りたくなっただけね
86: poem 02/28(金)09:51 ID:islS+KHg(2/5) AAS
時間が完全に停止(時間がフリーズ)しても
物理の順序はある。時間が動かなきゃ順序がないではない
パラドックスは直列順序、パラレルは並列順序
直列順序も並列順序も時間動くも時間動かないもある
87: poem 02/28(金)09:55 ID:islS+KHg(3/5) AAS
時間が動かなきゃない順序は時間が止まったら順序ない
時間が止まらなきゃない順序は時間が動いてるところにはない
同時刻の物理順序ね。同時刻内に発生している止まってる同士の因果
時間停止には順不同しかない？時間停止にも順同がある
時間動いてる順同は同時刻では順不同。同時刻で順同は時間動いてる中では順不同
88: poem 02/28(金)09:59 ID:islS+KHg(4/5) AAS
あと自分に出た話も既知のこれに加えると
前提順不同と後提順不同
前提順同と後提順不同
前提順不同と後提順同
前提順同と後提順同
これを振動と振動の対応物
反証に問題発生振動と立証に問題発生振動の対応物の4論理
これと絡めるの自分の宿題か
89: poem 02/28(金)21:43 ID:islS+KHg(5/5) AAS
反証の例文は何も無いけれど
立証の例文を資料にこの例文
2chｽﾚ:occult
90: poem 03/01(土)19:19 ID:73RTDAMk(1/3) AAS
これはこのスレだとどんな理屈になるんだ？わからなくて
2chｽﾚ:math
91(1): BLACKX ◆SvoRwjQrNc 03/01(土)20:27 ID:Bp8d099O(1) AAS
ZFの公理で
A と B が全く同じ要素を持つのなら A と B は等しいになると思う
式ならこう↓↓
∀A∀B(∀x(x∈A↔x∈B)→A=B)
92: poem 03/01(土)21:36 ID:73RTDAMk(2/3) AAS
>>91 ニューカム問題だよね？
93: poem 03/01(土)21:38 ID:73RTDAMk(3/3) AAS
ニューカム問題(未来人を出し抜く)
ZFC→ZFCerror
みたいに書くとして
ZFC問題で扱えうるか
(説明は簡単に噛み砕いてくだはい)
94(1): poem 03/02(日)23:56 ID:YG5y2XVQ(1) AAS
ｸｵﾘｱと転移技術
2chｽﾚ:sci
95(1): BLACKX ◆SvoRwjQrNc 03/03(月)05:39 ID:UxQ37alp(1/2) AAS
普通にもう荒らさないでくれ
Π01のスレにしたい
96(1): 03/03(月)17:37 ID:jh9ZBVhi(1/2) AAS
>>94
オカルト板にこもってろよガイジ
お前の書き込みが一度でも数学板に有益だったことがあるか？ないだろ
97: poem 03/03(月)17:39 ID:iMJSBptB(1/5) AAS
>>96 確かに94は数学案件じゃないね
98: poem 03/03(月)17:40 ID:iMJSBptB(2/5) AAS
物理色が強いということで(ないしオカルトと物理の混ざってて、数学は混ざってない)
99: poem 03/03(月)17:41 ID:iMJSBptB(3/5) AAS
ｸｵﾘｱは流石に数学で対応概念無いからね。多分まだなだけだけど
100: poem 03/03(月)17:43 ID:iMJSBptB(4/5) AAS
>>95 そういえば自分まだZFCの内容を中学でもわかるレベルで理解できてなくてそもそもZFCって何なのか知ろうとしてたんだった
101: 03/03(月)18:35 ID:jh9ZBVhi(2/2) AAS
反論するな
オカルト板に帰れ
102: poem 03/03(月)18:59 ID:iMJSBptB(5/5) AAS
反論してないじゃんｮ
103: BLACKX ◆SvoRwjQrNc 03/03(月)20:35 ID:UxQ37alp(2/2) AAS
このスレの人はどう読み取るか
A proof of the Collatz conjecture
Toshiharu Kawasaki
In this paper, we show the new fixed point theorem in metric spaces. Furthermore, using this fixed point theorem, we show that the Collatz conjecture is true.
外部ﾘﾝｸ:arxiv.org
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.552s*