[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
10: 10/31(金)11:42:51.90 ID:0+I+3mSE(10/18) AAS
つづき
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Anabelioidの幾何学 望月新一（京都大学数理解析研究所）2002年3月
P2 大域的な乗法的部分群スキームを、元々の作業の場としていた集合論的な‘宇宙'
において構成することをひとまず諦め、全く別の、独立な宇宙における、
元の対象たちE､F、K等のコピーE◎､F◎、K◎に対する乗法的部分群スキームの構成を目指す
(外部ﾘﾝｸ:ja.wikipedia.org
ノイマン宇宙：最初にErnst Zermelo 1930が提唱した宇宙Vorg (到達不能基数なし)
グロタンディーク宇宙：到達不能基数あり 外部ﾘﾝｸ:ja.wikipedia.org
クラス：ある公理系からは 集合と認められない 集まり（公理系が変われば 変わる）
省21
115: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)07:46:06.90 ID:yzUd5nV9(3/9) AAS
>>70
>>それに加えて、人の思考は 一階述語論理に縛られない
>↑素人の妄想 その２
>人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
戻る
・”葦の髄から天井を覗く”
・数学の投稿論文が一本も無いオチコボレさんが、独自の数学観を語るとはｗ
・滑稽千万だよｗｗ
数学的な直観を軽視してはいけない
むしろ 数学的な直観を高める勉強をすべきじゃね？（>>80）
省12
153: 11/04(火)11:57:08.90 ID:Afdq/ab6(10/32) AAS
>国家が無謀な侵略戦争によって国民を殺したのだ
誰も戦争しようなんて一言も言ってない
国防予算は増額すべき、なぜなら戦争抑止力になるから
どっかのバカ党が「国防予算増額は日本を戦争する国にする」とかアホなこと言ってるがまったく逆。戦争をしないための国防予算増額。ウクライナ戦争が起きたのはウクライナの国防力が弱いから。
196: 11/04(火)13:15:17.90 ID:AbGyw9Jz(5/6) AAS
>>被団協がノーベル平和賞を受賞しても北は核放棄しない
もちろんその現実も踏まえたうえで
必要とあれば矛盾の止揚を試みねばなるまい。
304: 11/05(水)21:22:41.90 ID:BjMQZrgB(6/7) AAS
＞中国を甘く見てはいけない
＞中国は要警戒すべき国だが
＞中国との外交も重要だ
中国に比べたら日本なんてハナクソ
ハナクソのくせに１０倍以上も人口が多い
中国人を絶滅しようと大侵略戦争をおっぱじめた日本
もちろん大惨敗（笑）
身の程知らずもここまでくると哀れとしかいいようがない
モンゴル帝国のチンギス・ハンにでもなったつもりか？
ギャハハハハハハ！！！（嘲）
345: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:02:48.90 ID:9MLt2+C6(5/17) AAS
>>343
下記の ”自己言及の論理と計算∗長谷川真人”が
参考になるだろう
”自己言及と対角線論法”がいいね
(参考)
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
自己言及の論理と計算∗長谷川真人
∗京都大学数理解析研究所数学入門公開講座（2002年8月5〜8日）の予稿を改訂（2006年5月／2007 年8月／2011年6月）
自分自身について述べることの難しさと面白さは，日常誰でも経験することだと思います．以下では，数理論理学と計算機科学の密接な関係を示す好例として，自己言及から生じる様々なパラドックスなどの数理論理学における問題，また自分自身を呼び出すような再帰的なプログラムやデータ構造に関する問題などについて，統一的な視点から考察します．また，後半では，自己言及現象の自明でないモデルの例を，実際に構成します．
目次
省14
479(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)09:40:51.90 ID:P9qVEF++(4/25) AAS
>>472
>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
なにをおっしゃる ウサギさん
現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
(google検索)
現代数学における 圏論の重要性
＜検索結果＞
外部ﾘﾝｸ:note.com
圏論の概要とその数学史における役割
under_the_sky
省15
522: 11/08(土)17:54:04.90 ID:ZuSEB9pS(19/21) AAS
>>521
誰も可視化するなとは言ってない。したきゃ勝手にすればいい。可視化止まりじゃ不十分だと言っている。
相変わらず言葉が通じんな君は。
565(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)09:33:40.90 ID:QrKJGO9s(5/26) AAS
>>546
>>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
>その分野の専門家で理解ができているなら
まず、IUTを数学的に否定した 文献は世界にたった一つ
“Why ABC is still a conjecture” [外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de]
by Peter Scholze のみ。これを認めよう！ （他は woitブログとか 文学系ですｗ）
そして、Scholze氏のは ”radical simplifications”という明白な ストローマン論法なので
これを、公に支持する 数論の数学者も また 皆無（専門違いの圏論屋が一人）
さて、”理解”とは 何か？ 大学入試ならば ある部屋にカンニング無しで 一定時間にある問題を解かせた 点数だろう
院試なら、上記に加えて 口頭試問がある
省24
677: 11/09(日)18:50:00.90 ID:CA6TFgJW(47/64) AAS
>>669
もう「今だけここだけ自分だけ」が大事な自己愛国粋右翼は永遠に黙れよ（笑）
宇宙全体の中では
地球とかいうちっぽけな星の
日本とかいうちっぽけな島に住む
貴様とかいうちっぽけな存在なんか
生きようが死のうがどうだっていいんだよ
身の程を知れよ 虫ケラ君
861(1): 11/13(木)16:36:36.90 ID:gIWWnl4V(2/2) AAS
日本語版Wikipediaでは、obstructionについて説明したものがないな やれやれ・・・
それじゃ、代数学の基本定理が、なぜ層で語れるのか、分かりようもない
895: 11/14(金)12:25:37.90 ID:84v8mXHf(2/7) AAS
>>888
＞あなたは、文献を読み込まずに 数学の議論を進めていますね
＞それ アウトです
高卒の世田君は、微積や線形代数の教科書の最初のページから読めないくせに、
数学について知ったかぶりの大ホラ吹きまくってますね
もうスリーアウト 広島に帰って本家の牡蠣の養殖でも手伝いなさい（マジ）
960: 11/14(金)21:58:10.90 ID:iHfr5kmW(25/26) AAS
そのようにして頂いても誰も気にも留めないでしょう
994(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/15(土)19:11:12.90 ID:Jxqf+IQV(8/8) AAS
>>993
>遊びに堕した壁の花
ふっふ、ほっほ
私も、現役時代は 3つ学会に入っていた
大体は、春は東京でね 秋が地方で
秋が地方なのは、旅行＆観光を兼ねていると （学会の人とかに）聞いたことがある
遊びも大事だよ。秋はあまり行かなかったが 行くと思い出になる
で、学会に行くと 知り合いに会えるんだ
同窓生含めてね。それは 一つの楽しみではある
999: 11/15(土)20:59:37.90 ID:l8wHo4pb(13/13) AAS
身の程知らずなところがそっくり
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s