Inter-universal geometry と ABC予想 (応援スレ) 74 (889ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
97: 08/24(日)00:37:35.62 ID:/+HkFcts(2/2) AAS
そもそもwikipedia の素朴集合論の項めちゃくちゃやなw
多分英語版の直訳なんだろうけど英語版の方もメッチャクチャw
なにが native で何が axiomatic なのか完全に取り違えとるわ。
まぁ素人の文章なんかこんなもんなんやろうけど。
156: 08/25(月)10:53:53.62 ID:QC/d8YsI(2/2) AAS
AIに聞きなよ
212: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:25:13.62 ID:5aeR4Epj(5/50) AAS
なにか難しいことでもできてると自負に酔ってるんだろうか。たしかにスレ主さんの周辺はレベルが高いけどもっと上に連れて行ってあげるよ。
243(1): 08/26(火)12:22:17.62 ID:v2xfVefA(5/23) AAS
あれほど無限操作は可能と言い続けたんだから極限順序数をきっぱり否定して欲しかった
しかしなぜかそこだけは標準数学に迎合してしまうオチコボレくんだったとさ
506(1): 08/30(土)10:14:32.62 ID:dKFmS13a(13/30) AAS
>>500
>非可算の集合積∩を使うのは、いかにも大袈裟でまずいってことだ
そもそも∩Xは任意の集合Xに対し定義されているのになんで非可算だとまずいの？
まったくデタラメまったくナンセンス
口を開けばデタラメばかり
783(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)10:36:51.62 ID:JgP2aXhR(5/14) AAS
>>780
ふっふ、ほっほ
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ ；ｐ）
(参考)
省22
810: 09/07(日)07:14:40.62 ID:CTxYlvA3(4/14) AAS
不定方程式に標準自然数の解が存在する場合は
直接それが解であることを計算で示せばいいので
当然算術で証明できる
問題は標準自然数の解が存在しない場合
もし、自然数論で証明できない場合
超準自然数解が存在する自然数論のモデルが存在する
例えばゲーデルの第二不完全性定理でいえば、
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s