[過去ログ] Inter-universal geometry とABC 予想48 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
355(1): 2022/04/11(月) 09:32:01 ID:BbeHwTpV(1)調 AAS
>>346
アホですか?
それこそまず真っ先にやらなあかん事やろ?
今までの数学の言語では使わない言葉使いする論文書く分にはいくらでも構わないしそんな論文いくらでも探せばあるやろ
超準解析なんかそれ
ヒルベルトの第20問題の弱い形の証明のアルティンの証明も広い意味で超準解析と言えなくはない、(使ってないけど)
しかしそれをやっていいのはその言葉使いによる証明が普通の数学の“保存拡大”である事の証明ができたあとだし、それができてないならそんなもんろんぶんになどならんわ
そもそもその作業に何十年もかからんし
なんも知らんのやったら黙っとけ
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 1.517s*