Inter-universal geometry と ABC予想 (応援スレ) 73 (732ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
468(1): １３２人目の素数さん [sage] 08/10(日)11:36 ID:TZSBSJbk(4/8)
もうちょっというならこの前だれかが望月先生のブログかなんかの文章でそういう要求を実行しないことの理由を「数百ページにわたる論文を記号論理に焼き直すのは大変」みたいなことをいってるらしい。
しかしだれもそんなこと求めていない。たとえば数学には“超準解析”とかいうちょっとかわった実数をあつかう理論体系がある。εδを回避しやすくする解析学らしい。過去一冊だけ超準解析をつかったFeynman積分の教科書というのを見かけたことがある。
しかしべつに“非標準的”だから全部記号論理で記述してるわけじゃない。普通の口語でかかれた教科書。
でもだれも文句いわない。「この教科書は超準解析の用語、論理体系で話します。細かい内容は××で詳細が定義されてます」と但し書きが最初のほうにあるし、きちんと抽象化、記号化の話が述べられてるから。それさえ予めやってもらえれば、あとの文章が少々非標準的でも標準的な数学の教育をうけたものなら口語でかかれた文章でも必要があれば、記号化して内容を精査できる。
つまり現実にもとめられているのは「どんな言語で記述するのか、どんな推論をもちいるのか」の最初のせいぜい１０ページもかからない程度の話。（通常の論理体系ならそんなにかからない）
IUT論理体系がどんなに大変なものかしらないが書き出すのに１０年もかかるはずもない。そして「言語体系、推論測かきだせ」をかってに「論文全部記号論理で書き出すのは実質不可能」とわけのわからない言い換えをして実行しない言い訳にしてる。もちろん界隈の人は本人含めてなにを求められているのかもわかってるし、それをしない言い訳もわざと論点ずらしてるのも百も承知でやってる。もうそれしか言い逃れができないんだろうとしか評価できない。言い逃れして退官まで逃げ切るつもりなんだろうとしか思えない。
474(1): １３２人目の素数さん [] 08/10(日)20:37 ID:f12p+Q2v(9/12)
>>468
>もうちょっというならこの前だれかが望月先生のブログかなんかの文章でそういう要求を実行しないことの理由を「数百ページにわたる論文を記号論理に焼き直すのは大変」みたいなことをいってるらしい。
完全に妄想。君の脳内デンパ
>たとえば数学には“超準解析”とかいうちょっとかわった実数をあつかう理論体系がある。εδを回避しやすくする解析学らしい。過去一冊だけ超準解析をつかったFeynman積分の教科書というのを見かけたことがある。
それは、教科書ではないが、見た記憶がある
が、完全に成功していない・・ というか Feynmanの経路積分は いまでも数学としては 正当化できていない
が、Feynmanの経路積分の使い手が 例のウィッテン氏（下記）
(参考)
https://www.mathsoc.jp/overview/history/ICM90/
1990年 ICM-90--第43巻第1号(1991)から
https://www.mathsoc.jp/assets/pdf/overview/history/ICM90/sugaku4301058-066.pdf
E. Witten 氏の業績II 深谷賢治
（ここに Witten 氏が Feynmanの経路積分で いろいろ数学の予想を出している話がある。フォントが埋め込まれていないか コピーが制限あるらしいので 興味のある人は直接見てね）
ついでに
E. Witten 氏の業績I 江口 徹 リンク省略
森重文氏の業績 向井茂 リンク省略
森重文氏 隅広秀康 リンク省略
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s