Inter-universal geometry と ABC予想 (応援スレ) 74 (966ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
9(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:05:35.28 ID:/FwGOxIP(9/11) AAS
つづき
＜“big picture”＞
外部ﾘﾝｸ:terrytao.wordpress.com
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
外部ﾘﾝｸ:terrytao.wordpress.com
Career advice Terence Tao
省20
69(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)18:34:12.28 ID:KYsCHIBD(11/17) AAS
>>66
>そして未だにこれだけ一階述語論理についての資料を読んでもまだその意味がとれてない。
なんだ？
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
ところで、一階述語論理は あくまで 叩きのネタだ
主張していることは、望月IUTは 圏論のキカだから
省4
100: 死狂幻調教大師S.A.D.@月と六ベンツ 08/24(日)06:17:59.28 ID:IPNUU5t7(2/7) AAS
責める。
117(1): 08/24(日)16:44:16.28 ID:jDvM1F2N(9/11) AAS
◆yH25M02vWFhPへの、Grokのツッコミ
「形式論理を「避ける」というより、
圏論が独自の形式化を提供している側面もある
と思うのですが、どのようにお考えでしょうか？」
◆yH25M02vWFhPへのCopilotのツッコミ
「「形式論理を避ける圏論という表現について」
ここは少し補足したくなります。
省7
261: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)14:30:26.28 ID:5aeR4Epj(23/50) AAS
バンド相対性理論地獄先生自体セクハラむっちゃ撃退みたいな辛い相対性隔離理論なんじゃないの光は怠惰だよ遅いそれが闇に沈むほうが相対性だよ。
267: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)14:47:15.28 ID:nzEtO0b1(9/14) AAS
>>254 補足
(引用開始)
彼は、”ケーキを食べつくすことはできない”と論争をふっかけてきた
曰く、ケーキを1/2にして 半分食べる。これを繰り返すと 終わらないという
「二分法のパラドックス」と同じだね
だから、安達 弘志氏はきっと有限主義ではなかったんだよ
(引用終り)
省10
328: 08/27(水)08:38:54.28 ID:yteK2WxD(1/10) AAS
>>310
>無限回の足し算なるものを無限級数で定義して
>無限回の足し算は可能と主張したところで
>ただただ無意味なだけ。
まったく同意
>>311
>なんとかピクチャー大好きだね
省12
354: 08/27(水)12:57:39.28 ID:SKcxMCpo(7/21) AAS
具体的表現馬鹿は
どんな集合も、要素の羅列という外延表現で表されねばならず
そのために要素を１つずつ並べる操作の無限回適用が出来ねばならない
と発狂する
具体的表現に還元可能な場合にそれを利用することを誰が禁止した
こんないわずもがなのことで三歳児のような揚げ足取りをするやつは焼かれてしね
クソ野郎！！！
520: 08/30(土)16:20:00.28 ID:fr4NlS//(4/12) AAS
>>500
>>ペアノの公理
>>自然数の集合論的構成
>>N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
>>ここでAは無限公理により存在する集合を任意に選んだものである
>上記の 「ペアノの公理…」において
>自然数で 集合積∩を使う点を 批判する
省30
683(3): 09/02(火)17:26:29.28 ID:SkBP9bZ4(3/5) AAS
>>678 補足
>>306より
日常の数学の下にカジュアル集合論があり、その下に 公理的集合論がある
三階建で、3階が日常の数学、2階がカジュアル集合論、1階が公理的集合論だ
それで、3階の日常の数学で 何か無限操作を考えるとき
それを 2階のカジュアル集合論 なり 1階の公理的集合論に翻訳できれば いい
（元は、カジュアル集合論は 素朴集合論だったが 語感が悪いので変えた）
省18
813(2): 09/07(日)07:48:51.28 ID:CTxYlvA3(6/14) AAS
名前欄が
「現代数学の系譜 雑談 ◆yH25M02vWFhP」
の場合の書き込みの特徴
１．大抵（引用開始）引用（引用終り）で検索結果の丸コピペか、過去発言の引用から始まる
２．いずれにしてもその後の当人の文章は、ただの感想文 だいたいナイーブに間違ってる
３．で、シメは「俺は悪くない」「おまえらみんな馬鹿」という趣旨の文章で終わる
結論
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s