[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
101: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)23:53:43.37 ID:RGcnI1b5(10/10) AAS
>>95
巡回ご苦労さまです
（＾＾
185: 11/04(火)12:58:27.37 ID:Afdq/ab6(20/32) AAS
日本は無くなるべきという主張を日本語で表明するの草
日本語を自由に使える恩恵にあずかっとるやないかいｗ
中国に侵略されたら日本語禁止やで
226: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)18:17:36.37 ID:mPyC8s/T(2/2) AAS
>>223
>それ判定基準非公開のやつだろw
まあな だが
１)下記の”審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの”
という形式的な要件を満たす論文が出現して はじめて
「どういう 判定基準？」が問題となる
２)もっと言えば、ノーベル賞であれ フィールズ賞であれ
その審査過程が 直ちに公開されるわけではない
例えば、噂だが ペーター・ショルツェ氏は、１年前に当確とされて
他は、なかなか決まらないと ５ｃｈに書かれたことがあったよ
省27
234(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)20:40:30.37 ID:yzUd5nV9(4/9) AAS
スレ主です どうもです （＾＾；
>>225
>>死狂幻調教大師S.A.D.@月と六ベンツさん
>この人はセタと呼ばれている人の別アカなの？
”セタと呼ばれている人”が 誰なのか？
正確には知らない
だが、数学以外のものを持ち出して
自分たちの劣勢を糊塗しようという態度を見ると
こいつら 数学的に終わったな
と思うよ
省27
260(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)11:52:00.37 ID:K/Lr81ky(8/12) AAS
>>255
Finite order arithmetic (Takeuti, 1987, Part II)
>>257
References
Takeuti, G. (1987). Proof Theory. Elsevier Science Ltd, 2nd edition.
竹内 外史先生だね
外部ﾘﾝｸ:ja.wikipedia.org
竹内 外史（たけうち がいし、1926年1月25日 - 2017年5月10日）
外部ﾘﾝｸ:en.wikipedia.org
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi; January 25, 1926 – May 10, 2017[1]) was a Japanese mathematician, known for his work in proof theory.[2]
省16
344(1): 11/06(木)11:00:32.37 ID:+e5m8tUJ(1/3) AAS
>>341
＞非数学ネタに逃げた時点で、
＞数学の議論での非勢を認めたってことだ
ラッセルパラドックスって非数学ネタなの？
はじめて知ったわ カラスの世田君
親族の世田水産の人によろしくな
君も、わかりもしない数学なんか諦めて
広島でカキでも養殖したほうがいいんじゃね？
436(1): 11/07(金)18:00:04.37 ID:oWYZmrG5(3/6) AAS
ショルツェの指摘に対し望月は罵倒で返した
これがすべて
なぜなら証明を認めてもらおうとする立場である望月が本来すべきだったのは、ショルツェを納得させることであって罵倒して退けることではないはずだから
望月自身が証明になっていないと白状したも同然の暴挙
IUTはすでに命運が尽きている
523(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:04:03.37 ID:P9qVEF++(17/25) AAS
>>511
>第一章の１．４に述語論理出てくるけど、
>カラスの世田はこんな基本的なことも
>何ひとつ全然理解できてないよ（バッサリ）
>外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
ご苦労さまです
(引用開始)
1.4 述語論理
これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた
そこで展開してきた論理体系を命題論理と呼ぶ
省6
533(1): 11/08(土)20:04:24.37 ID:3nB+TfKS(9/11) AAS
>>256
池上大輔氏 曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」
望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが まず、
省11
698: 11/09(日)21:27:44.37 ID:Gd/zJ3yt(8/9) AAS
さぁ？ロバーツ先生がレター出したってのもネット情報やからな。prims もロバーツ先生からレターきましたなんて発表するわけないし。
709: 11/09(日)22:20:19.37 ID:CA6TFgJW(60/64) AAS
おまけ
ブルシット・ジョブ デヴィッド・グレーバー著
761: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)12:58:54.37 ID:3Cq8ZFbO(2/4) AAS
>>760 タイポ訂正
>>313より再録
ID:BZV1IQOW
↓
>>313より再録
（ID:BZV1IQOWは、不要につき 消し）
933: 11/14(金)20:57:11.37 ID:iHfr5kmW(9/26) AAS
>>932
>多項式みたいな対象
多項式の零点集合としての代数多様体みたいな？
951(1): 11/14(金)21:45:00.37 ID:xAWag2SY(10/15) AAS
出入り自由な界隈？
982: 11/15(土)16:10:45.37 ID:y+Q/Jkno(2/3) AAS
ショルツェが再反論しなかったから
再反論しない理由
界隈「望月の反論に納得したから」
ショルツェ「相手するだけ無駄だから」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s