Inter-universal geometry と ABC予想 (応援スレ) 74 (976レス)
前次1-
抽出解除 レス栞

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
21
(6): 08/22(金)07:01 ID:DmmS/CLT(8/11) AAS
>>11
>「数学における日本とかいう野蛮な島のジコチュウ●チガイ…」
>てめえ、何様のつもりだ?
>5ch数学板で便所の落書きしている数学落ちこぼれさんでしょ
>何をえらそうに!

大学1年の一般教養の微積で落ちこぼれた分際で
日本をバカにされると●チガイのごとくムキになって
省12
40
(1): 08/23(土)13:27 ID:18cyucpd(7/17) AAS
>>36
>21世紀では ”素朴集合論”というか
>自然言語を援用する論理が復権している気がする
ああ、こいつぜんぜん分かってねー
62: 08/23(土)17:23 ID:XQOxXTSd(2/6) AAS
>>36
>21世紀では
>”素朴集合論”というか自然言語を援用する論理が
>復権している気がする

⋀も⋁も∀も∃も読めない高卒 ◆yH25M02vWFhPの妄想

>勿論、自然言語→形式論理に翻訳できることを確認しながらね

自然言語を論理式に翻訳できない高卒 ◆yH25M02vWFhP(笑)
省12
159: 08/25(月)11:31 ID:LuU2Xkk/(1) AAS
>>157
>「無限回の行為の実行」は否定しない方が
>21世紀数学の理解が進むだろう

大学数学落ちこぼれ◆yH25M02vWFhPの妄想

>一例は、ヒルベルトの無限ホテルのパラドックス:
>1号室の客を2号室に、2号室の客を3号室に、n号室の客を(n + 1)号室に(同時に)移動させる。
>すると1号室は空室になり、1人の客を泊めることができる。
省4
207: 08/25(月)21:21 ID:O3poJvHG(8/8) AAS
>>191
>21世紀数学は 実無限を認める人多数だろうさ ;p)
正則性公理により ∀x(¬x∈x) だから ∀x(x≠x∪{x})。よって x∈X→x∪{x}∈X なる条件はXが無限集合であることを要請する。
つまり実無限とされる無限集合の定義に無限操作なるものは不要。
よって無限操作なるものの否定は実無限の否定という主張はただの言いがかり。バカの妄言に過ぎない。
790
(1): 09/06(土)15:27 ID:DLHtgH0o(6/8) AAS
>>786
>数学関連の無限操作も 認めていく方が
>21世紀の現代数学として健全な メンタルピクチャーになる
>と思います

何言ってんだこいつ

>形式的冪級数が 厳然とあって
>解析函数のテーラー展開 は、
省17
808
(1): 09/07(日)07:00 ID:CTxYlvA3(2/14) AAS
>>803
>”フェルマーの最終定理はZFCの下で証明できるか?”
>私見だが(理由)二つ
>1)グロタンディーク宇宙+圏論の力
>2)圏論は 高階論理
>これが効いている気がする
>もちろん、IUTもだ
省9
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.043s