Inter-universal geometry と ABC予想 (応援スレ) 74 (881ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
38(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:24:46.86 ID:KYsCHIBD(5/17) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
自然数
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
具体的な自然数は
省18
71(1): 08/23(土)18:50:33.86 ID:18cyucpd(10/17) AAS
>>67
>要するに、グロタンディークは 圏論使いの達人だった
へぇ そうなの？
でも君は論理の初歩の初歩も分かってないよね
分かってるなら∩は公理から導けないから使えないとか超絶アホなこと言わないですから 残念！
79(1): 08/23(土)21:27:10.86 ID:KfxzMKVc(4/4) AAS
もっと高級な粘着してﾎﾗﾎﾗﾎﾗ（挑発）
186: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:18:29.86 ID:1MD2qx+9(27/28) AAS
もはや敵なし。
224: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:57:18.86 ID:5aeR4Epj(17/50) AAS
最高確率を目指しても一位は取れない。詩であるとか流れ、人生哲学…。言葉にならないもの。
228(2): 08/26(火)08:14:27.86 ID:v2xfVefA(1/23) AAS
{}に要素を１つずつ付け加えて無限集合である帰納的集合を作ることを考える。
無限回の付け加えが終了して帰納的集合Xが出来上がったと仮定する。
最後に付け加えられた要素をxと書くとXはx∪{x}を持たないからXは帰納的集合ではない。
矛盾が導かれたから仮定は偽。よって無限回の付け加えは終了しない。
309(2): 08/26(火)22:32:57.86 ID:v2xfVefA(18/23) AAS
>内包公理を素朴集合論は認め、公理的集合論は認めません。すなわち互いに相容れません。
実際、集合{x|¬x∈x}が、素朴集合論では存在し、公理的集合論では存在しないので、両者に互換性はありません。
337: 08/27(水)09:55:30.86 ID:5vTGjSRB(3/4) AAS
>>335
君、自分を嘲笑してる？
360: 08/27(水)13:02:04.86 ID:SKcxMCpo(11/21) AAS
＞病院行けよ
刑務所行けよ 殺人犯
397(2): 死狂幻調教大師S.A.D.@月と六ベンツ 08/27(水)16:17:20.86 ID:MqEU6aCB(6/6) AAS
スルーで。
539(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/30(土)20:48:08.86 ID:jE3Cs7nW(16/22) AAS
>>531 補足
>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
省38
746: 09/04(木)14:39:00.86 ID:ggAcMhRe(3/4) AAS
>>738
＞ゲーデルの加速定理
＞『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する』
「n階算術の体系で証明可能な任意の命題は、n+1階算術ではより短い証明を持つ」ではないことに注意
まあ、そもそも ◆yH25M02vWFhP は「０階論理」（命題論理）レベルだけどな
＞時代は、
＞脱一階述語論理
省15
757(1): 09/05(金)07:49:57.86 ID:LLCzYk0t(2/3) AAS
>>753
つーかお前が大好きなwikipediaで
「グロタンディーク宇宙」の項の冒頭に
定義が書いてあるじゃねーか
お前には書いてあることが理解できなかったんだろうけど
同値でない定義が他にもあるってんのなら出してみろよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s