Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
772: 09/06(土)07:16 ID:DLHtgH0o(1/8) AAS
そもそもが
「存在しないものを存在するとし、等しくないものを等しいとして、
その結果導ける不等式を正当化するために、辻褄の合わなさを計算する」
という発想
そしてその計算が間違ったら、まったくおじゃん
案の定、ショルツェから
「正しく計算したら、そもそも不等式成立しなくね？」
省1
779: 09/06(土)10:06 ID:DLHtgH0o(2/8) AAS
>>777
ショルツェ個人に対する「言い逃れ」ではなく
数学界及び自分に対する「言い逃れ」かと思う
>”Sheme論(/a!)だけでは不十分。F1上のキカが必要”
>つまり、望月氏は F1（1元体）を構想している
「Scheme論(/ℤ!)」だよ aって何だい？
意味も考えずに文字面だけなぞっても無駄
省5
780(1): 09/06(土)10:16 ID:DLHtgH0o(3/8) AAS
>>778
＞ ＜厳密だけが、数学ではない＞
＞『論理は確実性しか与えず、証明の手段である。直感は発明の手段である』
厳密化に耐えられない直感は、数学ではない
10000の直感のうち9999はボツとなる覚悟が必要
望月新一のIUTも壮大なボツの試みとなりそうだ
それが数学者の人生というもの
省13
788(1): 09/06(土)15:12 ID:DLHtgH0o(4/8) AAS
>>781 >一元体
>>782 >非有基的集合論
そんなのいくらコピペしてもIUTは正当化できないよ
高卒素人 ◆yH25M02vWFhP
>>783
君 そんな調子だと
兵庫県知事選でうっかり斎藤元彦に投票したり、
省1
789(1): 09/06(土)15:12 ID:DLHtgH0o(5/8) AAS
>>784 彼は自分が何者かわかってないのです
>>785 耄碌爺は永遠に黙ろうな
790(1): 09/06(土)15:27 ID:DLHtgH0o(6/8) AAS
>>786
>数学関連の無限操作も 認めていく方が
>21世紀の現代数学として健全な メンタルピクチャーになる
>と思います
何言ってんだこいつ
>形式的冪級数が 厳然とあって
>解析函数のテーラー展開 は、
省17
796(1): 09/06(土)19:58 ID:DLHtgH0o(7/8) AAS
>>無限回の操作は正当化されない
> その考えだと、20世紀後半から21世紀の数学の理解は難しいだろうね
19世紀以降の数学の理解が全然出来てない素人がそんなこといってもねえ（笑）
デデキントの有理数の切断による実数の定義ダメ
カントールの有理コーシー列の同値類による実数の定義も集合論もダメ
フレーゲの述語論理ダメ
それで圏論？それで二階論理？何言ってんの？
797(1): 09/06(土)20:01 ID:DLHtgH0o(8/8) AAS
>>793
＞おれが IUTを正当化しなければならない必要は 全くない！
うん、二流国立大学の工学部の一般教養の数学で落第した凡人の君に
そんなことできるわけないってみんなわかってるから（笑）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.124s*