Alpha数学が開発されたらグラフ理論はオワコン

**１３２人目の素数さん** · 2017/10/21(土) 22:55:01.21

近い将来グラフ理論の専門家は無職になるンゴwww

**１３２人目の素数さん** · 2019/05/09(木) 05:21:52.74

数学はもうすぐ終わる学問って本当？
http://rio2016.5ch.net/test/read.cgi/math/1413097017/

**１３２人目の素数さん** · 2021/01/12(火) 17:37:14.39

αがなんなのか知らんがグラフ理論は最も表現力のある数学だと思うよ、二項関係や木の表現は役不足
グラフ言語なんて面白い
意味論の基礎付けが足りてないのは認める

**hadwiger** · 2021/01/17(日) 12:51:29.55

昔、2chでお世話になったhadwigerって者です。
四色問題、Hadwiger予想をブール代数で証明するという話ですが、
完成してます。

http://hadwiger.html.xdomain.jp/

もしかして、本当にできるのでは？と思った方もいたかもしれないので
報告ということで。
ただ、もうここで議論する気力はありません（すぐケンカになるし）。
では、あしからず。

**１３２人目の素数さん** · 2021/02/28(日) 19:24:02.44

>>74
(16.3)が怪しいような気がする