[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
91(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)21:33:35.70 ID:RGcnI1b5(8/10) AAS
>>89
>望月先生の責任を追求する方法は確かに存在しない。それを処世術というならそれも仕方ない。しかしそれは学者の人生としては完全に失敗やな。まぁもう引き返すこともできんやろし、このまま汚名が残ってもそれを恥いる家族もおらんみたいやからそれはそれで諦めつくんかもな。
>まぁこれしか逃げ場はないんやろな
ヒキコモリ数学者の基礎論君な
1）望月先生の責任を追求する方法は確かに存在するぞ
それは、君が IUTを数学的に論破することだよ
2）具体的には、100万ドル懸賞の応募の数学論文を書くこと
100万ドルが貰える貰えないは別として、論文を出せ！
だが、君にはそれだけの数学力が無いことは
みなさん、まるっと お見通しだ！ｗ （＾＾
省5
302: 11/05(水)21:16:15.70 ID:BjMQZrgB(4/7) AAS
カラスの世田はあいかわらず
肝心なところを略してるので
めいぜんおーえすが書いた注意が
全く分かってないことは明らかである
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
分出公理図式
Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
分出公理図式…に「自由変数でない」という条件がついています。
読み飛ばしやすい条件かもしれませんが、これがないと矛盾します。
省18
483(1): 11/08(土)09:47:44.70 ID:fkQlO+Il(1/3) AAS
MacLaneの"Homology"を読めば圏論的な思考のまとめ方が
どんなものかが理解できるように思う
496(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)11:02:55.70 ID:P9qVEF++(9/25) AAS
>>493
>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
そうだね
もし ”人が 純粋な述語論理のみで思考するならば・・”だが
具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス
これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい
そして、集合論における ラッセルのパラドックス に 繋がっている
だが、古代から近世において
人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう
実際、古代ギリシャのユークリッド原論は 論理破綻など してない！ｗｗ ；ｐ）
省9
721(2): 11/09(日)23:27:36.70 ID:Gd/zJ3yt(9/9) AAS
「××と同じやん」
違うやろ。一件一件全部違う。過去の事象から学びとる方法そのものが狂っとる
930: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/14(金)20:05:44.70 ID:Gbn0TSJh(3/4) AAS
>>920
死狂幻調教大師S.A.D.@月と六ベンツさん
いつもありがとうございます。
スレ主です
今後ともどうかよろしくお願いいたします。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s