X

【数学】 ＡＢＣ予想は超難問　解ければフェルマーの最終定理証明も　2020/04/03

■ このスレッドは過去ログ倉庫に格納されています
0001朝一から閉店までφ ★
垢版 |
2020/04/03(金) 18:33:44.93ID:CAP_USER
2020.4.3 17:45ライフ科学

https://www.sankei.com/images/news/200403/lif2004030087-p1.jpg


　京都大の望月新一教授が証明した「ＡＢＣ予想」は整数の性質に関する問題で、数学の多くの未解決問題の中でも超難問として知られる。

　ＡＢＣ予想は１以外の公約数を持たない自然数Ａ、Ｂと、その和であるＣについて、それぞれの素因数分解がどのように関係しているかを示した不等式。望月氏によると、足し算と掛け算の「絡み合い方」の性質に関する予想だという。

　　　　　　=====　後略　=====
全文は下記URLで

https://www.sankei.com/smp/life/news/200403/lif2004030087-s1.html
0120ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/04(土) 12:08:25.11ID:gt+bJjy7
で、PRIMSは　プリムス　か　ピーリムズ　かどっちなの？
Publications　of　RIMS　だから後者？
0122ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/04(土) 12:23:13.11ID:4qkDfuTe
>>89
作製自体嘘やで
そもそも論文のレシピ通りに培地作ったらオボちゃんの言うような
酸性の培地にならなかったレベルの酷さや
論文を読んで科学的な議論する練習するとええで
0126ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/04(土) 14:40:20.73ID:7TqCf7rB
望月教授が誰も理解できない全方位壁打ちしてる状況の中で、
内容を理解した数少ない数学者である加藤文元教授が分かりやすく解説した動画らしい
https://www.youtube.com/watch?v=kq4jbNl4lJk
0129ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/04(土) 20:14:16.17ID:BD6/q/Z8
いいこと思いついた
講演会で原稿を泉谷しげるに渡して代わりに講演してもらうの
講演中に乱闘が起きて死亡者多数→反対者が消える
0130ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 01:15:40.24ID:a29ls05L
>>101
> >>83
> 明らかだというのなら全称命題から存在命題を証明してください

A∧B　⇒　A∨B　を明らかだとは言ったが　∀x.P(x)　⇒　∃x.P(x)　を明らかだと言ったことはないよ　・・・・・　（※）

そもそも全称命題が真であることは述語P(x)を満たすxの値の存在を保証していないからね

実際、xのような個体変数が取り得る値の成す集合（domain of discourseと呼んだりする） S として
空集合を選べば明らかに後のほうの含意命題は偽と解釈される


> （A∧B　⇒　A∨B　を）明らかだというのなら全称命題から存在命題を証明してください

などという的外れなことを言うのは、君が全称命題∀x.P(x)あるいは存在命題∃x.P(x)を、
個体変数xの取り得る値x1, x2, ... の全てについての（無限個も許す）論理積P(x1)∧P(x1)∧・・・あるいは論理和P(x1)∨P(x1)∨・・・だと錯覚しているから
だが、全称命題や存在命題は（無限個も許した）論理積や論理和ではない
実際、全称・存在限量子の代わりに無限個の論理積や論理和を論理演算子として入れると
通常の古典１階述語論理が満たしている重要な性質であるコンパクト性という性質が失われる

なお、君の錯覚に従って、全称あるいは存在限量子を（無限個も許した）論理積あるいは論理和と考えたとしても
個体変数が取り得る値の集合S＝｛x1, x2, ...}が空集合の場合には、件の論理積は真trueまた論理和は偽falseとなるので
やはり（※）の後の含意は成立しない（から証明できなくて当たり前）という結論になる

しかしながら、命題論理の論理式としてのA∧B　⇒　A∨Bは古典論理（２値論理）だけでなく直観主義（あるいは構成主義）論理でも真な論理式だ
0131ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 05:47:11.16ID:2tIsqVdT
行き着くところは人種差別問題だろうな
0132ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 05:58:51.54ID:NVmLn0ik
>>130
私も偽の仮定があると信じてた時がありました(笑)

演繹には偽の仮定という概念はない
それは条件法の話であり演繹ではない
ゆえに空集合を前提とする演繹はないし
偽の含意命題も存在しない

前提，含意，条件法，仮定

その用語を正確に知るには野矢茂樹の論理学を読むべきです

詳しくは
野矢茂樹『まったくゼロからの論理学』岩波書店
を参照してください

それから僕が読んだことのある集合・位相では
全称命題を論理積
存在命題を論理和
として定義していました

もちろん目的が違うので貴方と定義が異なるのは当然ですが
無限個を許した場合だと位相をみたさないという意味ですね
まあそうでしょう
これは明らかですね
でも僕がいつ無限個の話をしたんでしょうね
意味がわかりませんが貴方にとっては明らかなのでしょう(笑)
0133ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 06:04:35.26ID:NVmLn0ik
>>130
さて

(A∧B：偽　⇒　A∨B：真∨偽)：真

という演繹はできませんのでこれは明らかではありませんから
証明してください(酷だと思うのでここではしなくていいですよ)

それから蛇足ですが竹之内脩の集合論では

A∨B　⇒　A∧B　がありました

これも同様の理屈でしょう
偽の仮定(笑)
0134ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 06:06:30.57ID:NVmLn0ik
真理表

真　真　真
真　偽　偽
偽　真　真
偽　偽　真

これは条件法における真理値です
この問題と演繹を混同しないでくださいね
僕も混同していた時期がありましたが
野矢茂樹先生に救われました
0135ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 06:26:41.47ID:tFuNlGsy
「宇宙際タイヒミュラー理論」は、「宇宙臭い堆肥三浦理論」と覚えれば良いことに気付いた
0139ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 09:26:58.31ID:/Fjhye2i
●日本が輩出した天才

紫式部　「源氏物語」
道元　「正法眼蔵」
葛飾北斎　「冨嶽三十六景」
田中久重　「万年自鳴鐘」
三島由紀夫　「金閣寺」
南部陽一郎　「ひも理論」
望月新一　「宇宙際タイヒミュラー理論」
0140ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 09:44:52.63ID:/QLeE9eP
>>139
岡潔
0142よっちゃん
垢版 |
2020/04/05(日) 10:44:54.78ID:vL8x09hx
The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus
and declares that the division by zero was discovered as 0/0=1/0=z/0=0
in a natural sense on 2014.2.2. The result shows a new basic idea on the universe
and space since Aristotelēs (BC384 - BC322)
and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta
(598 - 668 ?).

Announcement 478: Who did derive first the division by zero 1/0 and
the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of
a computer?

再生核研究所声明539 (2020.2.2) ゼロ除算誕生　6周年を迎えて
0143ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 10:45:34.15ID:awA3yTko
>>137
126ではあかんか
0144ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 11:12:24.24ID:Ipch8Ztl
読んでたら頭痛がしてきた…
理系は楽しいのか
0145ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 11:14:02.91ID:ZXTEG0AS
チョンはXYZ理論でヌーベル賞を目指す
0146ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 11:16:45.36ID:zUcX8DQI
フェルマーの最終定理を証明したワイルズの論文のページ数は数百ページに及ぶが
もしABC予想が正しいとすると、フェルマーの最終定理の証明が
たった論文１ページで説明できちゃう

他にも様々な予想がなし崩し的に証明できたり、照明が簡略化できるなど
大きなポテンシャルを持つ
0149ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 11:49:13.13ID:zmuSBBxm
>>27
ともえーのソロバン
0150ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 11:49:16.84ID:zmuSBBxm
>>27
ともえーのソロバン
0151ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 12:16:37.01ID:43YsLtw+
>>27
旺文社カセットLLスーパー
0152ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 12:17:32.04ID:ldWQOPAt
望月教授と滝浦真人の類似点

望月教授のＡＢＳ予想の証明：自身が編集長を務める学術誌ＰＲＩＭＳに掲載予定（２０１２年に予稿をＰＲＩＭＳのwebに掲載）
数理解析研究所の教授（柏原正樹、玉川安騎男）の発言：「証明したことに間違いがないと言ってかまわない。
『ＡＢＣ予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」

ネイチャー：The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者：望月の証明には欠陥がある
ヨーロッパ数学協会会長：批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程で指導した教授：　考えを明確に伝えようとしていない
https://www.nature.com/articles/d41586-020-00998-2

滝浦真人の博士号に関する学位審査（公正な審査では不合格？）
学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査
主査は『語用論研究法ガイドブック』の共著者でもある（日本語用論学会会長：加藤重広 、日本語用論学会編集委員長：滝浦真人）
副査は、論文の内容が専門外

学位請求論文：日本語敬語および関連現象の社会語用論的研究
論文の内容：既刊の本を無理やりつなげただけ
審査結果：大賛辞による乙種の学位授与

論文の二重投稿の論理的構造
別の論文と内容、結論が同一(酷似，類似)である
先行論文と比較して、内容と結論に新規性がない
既存の（実験）データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい
適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい

学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、
二重投稿は反社会的性質をもつ
https://ja.wikipedia.org/wiki/二重投稿
0153ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 12:33:50.20ID:43YsLtw+
>>49
>>144
たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。　
しかもワイルズの証明と比べて遙かに偉大な証明。
ワイルズの証明は、「剣岳」の登山に喩えれば、一人の登山家
がルートを緻密に練って、　氷河の上を登ったりしてなんとか
登頂して、三角点を設置したようなもの

望月先生の証明は、「立山黒部アルペンルートの竣工」のよう
なもの。　彼は、ケーブルカー、高原バス、エレベータとトロリー
バス、ロープウエーという四段階の新しい輸送システムを大規模
に構築すれば、何百人も立山に登れることを証明した。

望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、
望月の定理によって証明おわりと記すことが出来る。
その他の問題も200ぐらい一挙に解決してしまう。
0155ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 12:37:44.33ID:d2pM/vpU
>>1
1世紀も前に解決してるじゃん
たしかポワロとかいう・・・・
0156ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 12:39:00.67ID:mIzhlW4R
>>1
自分は理系でこういう話題には興味があるのだが、
自分のまわりは数学を嫌いな人間が多い。
にも関わらずこんな話題では盛り上げるのが不思議だ。
興味を示さないはずでは？
でも内容を見ると、ちゃちゃ入れているのが多いけどな。
解けないのが解けたという話題性で群がってくるのだろう。
流行りもの好きというか。困ったもんだ。
0158ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 12:49:18.81ID:YsjYavAB
サルがコピペして、自分たちの方が早く証明してたと言いそうだな。
0159ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 13:00:26.60ID:RCk17vF/
とけたら社会が変わるのか
0160ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 13:18:11.12ID:J+vokGaP
もしノーベル賞なら
数学者ではじめてってこと？
0161ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 13:20:28.70ID:NVmLn0ik
>>160
そういうこと
0164ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 17:38:21.03ID:sIc0APnj
>>154
そのNatureの後半の段の訳

＞数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、これがEMSのガイドラインに違反しないことを確認している。

逆証の記事をドヤ顔で引用しているド阿呆
0165ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 17:55:07.87ID:wS5vEcI/
まともな査読審査してるなら自分の所属してる
数学教室の出してる論文誌に投稿することは
よくあるんだがよく知らない人が不正だと暴れる
0166ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 18:55:02.89ID:ei8qChMt
>>144
この手の純粋数学は数学オタク以外楽しくないよ
これに関しては理解できなくてオタクも楽しくない可能性すらあるが
難問が解けたという事実にはテンション上がってるんじゃないかな
0168ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 20:22:44.66ID:a29ls05L
>>132-134
数学で用いられる論理のための論理学を学びたいのならば
野矢茂樹のような哲学系の論理学の本でなく
数理論理学の教科書を読むべきだね
何故ならば哲学系の論理学では自然語（例えば日本語）の論理構造などの議論（君が挙げている「条件法」はその最たるもの）が出てきて
原理的には完全に形式化可能であるべき数学で必要とする論理からすれば余計で誤解を招きやすい

その点、論理そのものも一つの数学的構造として数学的な手段で分析する数理論理学のほうが数学徒には明晰で余計な誤解が入り込む余地がない

数理論理学では、⇒を含意の論理演算子およびfalseを偽を表す論理定数として、任意の命題Xについて
false ⇒ X　は恒真命題だ

君は恐らく野矢の本を間違って理解している
哲学系の論理学を正しく理解する上でも数理論理学の特に古典（命題および１階述語）論理の部分から先にきちんと勉強することを強く勧める

まずは古典命題論理および古典１階述語論理に対するGentzenの自然演繹法NKの証明論と意味論とぐらいはきちんと勉強したまえ
話はそれからだ
0169ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 20:32:03.12ID:NVmLn0ik
>>168
>数理論理学では、⇒を含意の論理演算子および
>falseを偽を表す論理定数として、任意の命題Xについて
>false ⇒ X　は恒真命題だ

君は形式論理学の条件法と全く同じことを言っているが何が言いたいの？
君こそ勉強不足だね

偽の仮定(笑)でどこまで数学を記述できるのかやってみなよ
どうせ空集合の話なんだろ？
意味ねえ

>false ⇒ X　は恒真命題だ

の具象例は

宇宙人はいる　⇒　1=2

だろ？ｗｗｗｗ

ゴミなんだよ数学くそ論は

おれは一応山田敏行の『はじめての数理論理学』を読んだが
ほとんどゴミだった
意味ないよ
0170ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 20:34:07.52ID:NVmLn0ik
演繹とは真なる前提のみを扱い
それに伴い含意命題は必ず真をなす

これが野矢論理学の心髄
0171ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 20:40:15.99ID:NVmLn0ik
>>168
【哲学板】論理学・集合論
ttps://lavender.5ch.net/test/read.cgi/philo/1490952242/

ここで話そうぜ
君の数理論理学で俺の数学を評価してみろ
何が正しくて何が違うのか
議論しよう
0173ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 21:14:34.31ID:7wCSWzgW
>>161
んなアホな
0175ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 21:46:43.18ID:NVmLn0ik
いや

数学にノーベル賞がある：偽　⇒　数学者で初めて：真

ってことだろ
0176ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 21:57:13.35ID:NVmLn0ik
>>175
これは演繹ではない
演繹なら
数学にノーベル賞はない
で終わり
0180ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 22:09:22.21ID:NVmLn0ik
>>178
後件が正しければ前件が肯定される
っていう論理か

まあそういう含意も存在しない
数学者はノーベル賞を受賞できないから
数学者で初めてであるという後件は真ではないから

お前もbotか
0182ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/05(日) 23:26:27.35ID:7pxImnNp
社会学や哲学なら紐解いて持論でも考えてみようと思うが、数学だけはダメだw
脳味噌が拒否してるw
0184ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 00:13:56.65ID:0qYSrnwk
でもこういう難しいこと考える人に限って、大学センター試験の数学を解かせると間違ったりするんだよな。
0185ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 00:30:56.48ID:8CDEqw72
理論が難しすぎて理解できる数学者が数十人しかいないというのだから
証明が正しいと認めた人もこの数十人だけということになり
その十数人が全員同じ勘違いをしていた可能性も否めないのではないのだろうか
また、そんだけ難しいというか意味不明な内容なら理解できてるつもりで実はできてなかったってのが
その数十人の中に複数名存在する可能性も十分にあるのでは

数百人の数学者に理解できるように説明できるようになって初めて証明された証になるような気がする
もしくはその理論を用いなければ実現できない何かを目の前で提示するとか
見てるものからスレばまるで手品のようでこんなことありえないはずなのに現実として起きている
ということはこの理論は正しかったのか！よく分からんけどみたいな
0186ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 00:44:18.46ID:qJokxNPF
>>171
だから数学で使われる論理学を勉強するならば哲学のでなく数理論理学をやるべきだと言ってるだろ
哲学の論理学で曖昧にやりたいなら君一人で勝手にしたまえ

だが数学の証明などの論理について述べたり批判したりしたいならば数理論理学をきちんと勉強したまえ
例えば共立出版からだいぶ前に復刊された松本和夫の『数理論理学』とかが自然演繹の入門には良い
0191ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 18:28:27.14ID:A0c8VtYK
あくまでIUTというのはツールなんだよね？
（IUTというツールを使って超難問のABC予想が証明できると）

既に証明されている簡易な問題を
遠回りになるかもしれんけどあえてIUTを使って証明した事例があるとわかりやすいと思うのだが

地方の国立大工学部学生が分かる程度のできるだけシンプルな事例を作ってくれんかなと思う
0192ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 18:36:41.30ID:A0c8VtYK
せめて数学科の学生が手を付けられるように、既に証明済みの問題をあえてIUTで証明した事例があると良いのだろうけど
0195ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 22:28:00.98ID:3WoEOxJv
>>94
自分で砂場作って遊んでるみたいな感じだからな。
誰かが入っていってコレは使えない！使える！ってなる場合もあるし、そもそも誰も興味を示さずスルーされる場合もある。

確率は5分だと思う。仮にスルーされても数百年後に再発掘されればいいけど、そもそもタダの妄想の可能性もある。しかし、それが正しいのかどうかを判断するだけで長い時間を要するから、今栄誉が欲しい天才達はスルーするだろう。
0197ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 22:53:38.41ID:gkNfDAoI
査読の段階で遅滞する
0198ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 23:05:34.58ID:xx7+TDbv
このような組合せ最適化問題？を量子アニーリング方式で解けば一発だと思うが
量子コンピュータはまだ発展途上だし今は無理か
0201ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/06(月) 23:50:44.25ID:9DGBhaT0
100年後にはだれもが理解するようになるんだろうか
0205ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 09:57:40.47ID:Dh9/nshV
俺の頭脳を持ってしても
全く理解が出来なかった
0206ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 10:11:54.10ID:6S/2BMKq
>>185
これが白痴ってやつか
0207ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 10:46:21.00ID:bf36IvBd
フィールズ賞受賞の天才とこの分野の大御所が「俺はこんな証明認めねえ」
つってんだから形勢は極めて不利だな。素人が何百万人応援しようが意味ないし。
「陰謀が・・・抵抗勢力が・・・」とか喚けば却って状況を悪くするだけ。
0210ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 11:38:15.84ID:57Sgapi2
カントクラスの哲人になれる
0211ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 11:59:50.90ID:lnamEjIz
>>196
友人、弟子とか内輪の関係者だから、望月一派の信者と見做されるだけ。

状況打開の為には信者増やすしかない。
例えば、既存の問題を新理論使って解きまくるとか、この理論無しでは生活成り立たない！みたいな民生品に使われたらぐうの音も出ないだろう。

教授だってABCがどうとかは些末な問題で、この理論を構築したことの意義の方がでかいって言ってるんで、証明できたかどうかだけ拘る価値はない。
0212ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 12:17:11.41ID:feW76hwh
中学生の数学の証明で挫折したんだけど
そこから、学びなおせるニュートンみたいな数学本
アタマいい人教えて！！！
0214ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 13:51:46.44ID:sB+ONA5c
>>44
今まで読んだ解説の中で最も腑に落ちた。すばらしい。

>>45
これの前半、むちゃくちゃ面白いから、みんな是非読むべき。
後半はわからん。
0215ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 14:04:32.54ID:f2cyhKv/
望月新一教授に大臣になってもらって、文科省の改革をしてもらいたい。
0216ニュースソース検討中＠自治議論スレ
垢版 |
2020/04/07(火) 15:28:38.64ID:oXa5+SOy
>>44
ちょっと違うだろ
5つの公理というのはユークリッド幾何のそれのことで、一つ変えるとというのはそれで非ユークリッド幾何学に、といった話じゃないのか
この宇宙はもっと数学一般の基礎論、集合論、抽象代数学、云々に関わっていること
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況