23/12/22 13:20:31.65 B/SAzY+J.net
>>730
>内容を理解してないから何も見ずに書けないんでしょ？
違うな
”内容を理解してない”は、半分は当たっているが
半分は外れだ
１）まず
・>>722-725の示すところによれば
Classification of manifolds：
低次元多様体 (次元 2 と 3) は admit geometry.（ geometrizable）
高次元多様体(dimension 5 and more differentiably, dimension 4 and more topologically)は手術理論によって分類される
次元 4 の微分可能多様体は最も複雑である、微分可能 4-多様体は一般化ポアンカレ予想の唯一残されたopen case
・なお、Computability
Manifolds in dimension 4 and above cannot be effectively classified:
This is due to the unsolvability of the word problem for groups, or more precisely, the triviality problem (given a finite presentation for a group, is it the trivial group?).
もし、この要約に付け加えることがあれば、言ってくれ！
２）さて例えば、下記 Word problem for groups In 1911に提起され、in 1955 Novikovが ”such that the word problem for G is undecidable”を証明した
この間約40年、多くの歴代数学者が研究した上澄みを、調査してありがたく頂戴した。まずは、それでいいのです
ある人が同じことをやれば、やはり40年かかるだろうか？
３）"MM、Mathematical Maturity" （下記）について、今回のカキコで私のMMはアップしただろう
しかし、５ｃｈカキコは書いた瞬間に、書き手を離れて独り歩きするものだ
これを、今日の晩に見る人もいれば、明日見る人、一月後、一年後・・
書き手（本質は”名無しさん”）のMMとは無関係だろう（そもそもそのための引用とURLの添付ですよ）
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Word problem for groups
History
Throughout the history of the subject, computations in groups have been carried out using various normal forms. These usually implicitly solve the word problem for the groups in question. In 1911 Max Dehn proposed that the word problem was an important area of study in its own right,[1] together with the conjugacy problem and the group isomorphism problem. In 1912 he gave an algorithm that solves both the word and conjugacy problem for the fundamental groups of closed orientable two-dimensional manifolds of genus greater than or equal to 2.
It was shown by Pyotr Novikov in 1955 that there exists a finitely presented group G such that the word problem for G is undecidable.[6]
"MM、Mathematical Maturity"
(参考)
URLﾘﾝｸ(www.youtube.com)
「数学的成熟度」をもう少し具体的に説明。MM、Mathematical Maturity
謎の数学者 2021/02/22 数学者を目指すための数学の勉強法