Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
5: １３２人目の素数さん [] 2025/08/21(木) 23:01:05.94 ID:/FwGOxIP つづき 参考 ://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html 宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03 Confirmed participants include: Atsushi Shiho (Univ. Tokyo, Japan), ://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html 宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10 Confirmed participants include: Atsushi Shiho (Univ. Tokyo, Japan), ://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html 望月 過去と現在の研究 ://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf 20211117 世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。 つづく http://rio2016.5ch.net/test/read.cgi/math/1755784703/5
27: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/23(土) 10:32:24.94 ID:XZ6J116Y 大学の一年の時期は公務員教養と研究過程。その後独立行政職員で研究続けながら専門の師範など。専攻は文学。攻め。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/27
34: １３２人目の素数さん [] 2025/08/23(土) 12:50:18.94 ID:18cyucpd 前スレ998 >多分違うよ >あなたの受けた 1980年代の日本の数学科は、そういう厳密病の教育だった気がする >その後、数学も進歩して ノンスタ（超準）などが出て、21世紀の数学は結構自由なのだとなった 有理コーシー列の極限で実数を定義するとか超絶バカ発言してしまったオチコボレがまったくトンチンカンなこと言ってますね >ここでは 極限だの収束だの へったくれを いう必要なし！ そのような不遜な態度だから君は実数の完備性を理解できないんだよ http://rio2016.5ch.net/test/read.cgi/math/1755784703/34
104: １３２人目の素数さん [sage] 2025/08/24(日) 08:08:12.94 ID:jDvM1F2N いかなる数学者も◆yH25M02vWFhP が考えるような「無限操作」を実現していない 空集合から要素を１つずつ追加する操作を無限回実行して無限集合を作ったわけでもなく 1に1/n!を１つずつ加える操作を無限回実行してexp(1)を作ったわけでもない できないことを魔法でやったと思い込む馬鹿が、大学１年の一般教養の数学で落第する 自分の根本的誤解にきづかず、意識改革を怠るから、万年１８歳のまま還暦を迎えるのである 日本の大卒なんて、文系はもちろんのこと、理系ですらこんな誤解に気づかないままの 無知蒙昧な輩なので、インテリとかエリートとか持ち上げるようなものではないとわかる まあ、わかったから偉いってもんでもないが（自嘲の笑） http://rio2016.5ch.net/test/read.cgi/math/1755784703/104
146: １３２人目の素数さん [] 2025/08/25(月) 07:57:45.94 ID:O3poJvHG 無限回の行為が行えるならゼノンのパラドックスはそもそもパラドックスたりえない 古代ギリシャ人に負けるオチコボレ http://rio2016.5ch.net/test/read.cgi/math/1755784703/146
307: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/26(火) 21:01:27.94 ID:dSyweoWi つづき 形式化された理論 メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。 数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。 とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化 (*) MP ーーーー形式化ー＞ FT のことである。 形式化図式と数学の「理解」 形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。 ＜“big picture”＞ https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/ 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. https://terrytao.wordpress.com/career-advice/ Career advice Terence Tao (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1755784703/307
367: １３２人目の素数さん [] 2025/08/27(水) 13:14:44.94 ID:9XbEmCId 算数は数を定義せずに、数字による筆算を教える 小学生はサルと大して変わらんから仕方ない しかし大学生ともあろうものが 小学生中学生高校生と同じく サルに芸を仕込むような 「方法だけ丸暗記で教えるやり方」 を求めるのは人間性の否定であり 反知性的な頽廃である 恥を知れ！ エテ公！ http://rio2016.5ch.net/test/read.cgi/math/1755784703/367
368: １３２人目の素数さん [] 2025/08/27(水) 13:15:53.94 ID:9XbEmCId >>366 エテ公の貴様が332で卑怯卑劣な詰りをせねば焼かれなかったのだ 自分の愚かさを恥じろ 小賢しい算数馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1755784703/368
403: １３２人目の素数さん [sage] 2025/08/27(水) 16:46:20.94 ID:yteK2WxD >>401 同病相憐れむ http://rio2016.5ch.net/test/read.cgi/math/1755784703/403
589: １３２人目の素数さん [] 2025/08/31(日) 16:45:50.94 ID:yvLlCc7F >>583 ＞この馬鹿「帰納的集合」を「無限集合」と呼んでやがるな そうですね 人生のひととき、そんな馬鹿な経験をします それは致し方のないこと 残念なのは、馬鹿に気づかないまま、抜け出せないことです まさに◆yH25M02vWFhPがそれ 「盗んだバイクで走りだし、覚えたてのタバコをふかす」 まあ犯罪ですが、それはよいとしましょう 「誰にも 縛られたくないと、自由になれた気がした」 まあそんなこといってる１５歳も２２歳になると ダークスーツを着て社奴になるんですよ 残念ですがね それがいやなら？そりゃ探検家にでもなって 世界のヤバいところにいくんでしょう（笑） https://ja.wikipedia.org/wiki/%E9%AB%98%E9%87%8E%E7%A7%80%E8%A1%8C_(%E3%83%8E%E3%83%B3%E3%83%95%E3%82%A3%E3%82%AF%E3%82%B7%E3%83%A7%E3%83%B3%E4%BD%9C%E5%AE%B6) http://rio2016.5ch.net/test/read.cgi/math/1755784703/589
664: １３２人目の素数さん [] 2025/09/02(火) 07:57:35.94 ID:3DQr2Vok >>661 >記号∩は 不要だな {x∈a|M(a)＆∀b∈p(a).M(b)⇒x∈b}＝∩{b⊂a|M(b)}って ◆yH25M02vWFhP 理解できない論盲？ http://rio2016.5ch.net/test/read.cgi/math/1755784703/664
709: １３２人目の素数さん [] 2025/09/03(水) 08:35:21.94 ID:J2SyTW30 0.235000 · · · = 0.234999 · · · は、カントールによる実数の定義に即して考えるなら 「２つの有限小数の無限列（コーシー列）が、同値である」 というだけのこと いちいち見ただけでわかる具体物として定義すれば 分かりやすいと思うナイーブな発想がどうしようもなく馬鹿 古代ギリシャの哲学者でもそんなナイーブな発想はしない http://rio2016.5ch.net/test/read.cgi/math/1755784703/709
843: １３２人目の素数さん [] 2025/09/07(日) 16:27:05.94 ID:CTxYlvA3 >>841 政治とか経済とかに興味ある生臭い奴が数学板に来るなよ シッシッ！ 日本数学会は数学に興味ある数学ヲタクの会でしかありませんが何か？ ていうかボクちゃん最強っていいたがる奴は 日本なんてちっちぇえ島から出てってアメリカ行けよ http://rio2016.5ch.net/test/read.cgi/math/1755784703/843
954: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/11(木) 16:32:06.94 ID:4h3IFZvQ 詩文や韻でずれてくる表象。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/954
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.176s*