Diskussion:Zlil Sela
Beim Einfügen von (hebräisch צליל סלע) springt bei mir das Geburtsdatum, irgendwas stimmt hier nicht.--Claude J (Diskussion) 06:26, 20. Jun. 2013 (CEST)
- Leider erkennt der Browser im Editierfenster die Grenzen des hebräischen Textes manchmal nicht. Leerzeichen, geschweifte Klammern und Sternchen können beiden Leserichtungen zugeordnet sein, die Markierungen für Anfang und Ende des hebräischen Teils werden erst durch die Vorlage eingefügt, so dass es bei der Ausgabe eindeutig ist. Mit geschütztem Leerzeichen zwischen * und Datum als Workaround funktioniert es auch im Editierfenster. --84.130.137.32 08:11, 20. Jun. 2013 (CEST)
Entscheidbarkeit der Theorie freier nichtabelscher Gruppen
[Quelltext bearbeiten]Ich denke, der Satz "Den Rest der Vermutung (Entscheidbarkeit der Theorie) lösten Olga Kharlampovich und Alexei Myasnikov 2006 und gaben außerdem einen alternativen Beweis." sollte aus dem Artikel gestrichen werden.
Sela selbst erörtert in "A REPORT ON TARSKI’S DECIDABILITY PROBLEM: ”ELEMENTARY THEORY OF FREE NONABELIAN GROUPS” BY O. KHARLAMPOVICH AND A. MYASNIKOV", dass der von den letzteren beiden Autoren geführte Beweis über die Entscheidbarkeit der Theorie freier Gruppen (sowie deren Alternativbeweis über die Vollständigkeit der Theorie) nicht gültig ist und dieser Teil von Tarskis Problem immer noch als offen angesehen werden sollte. (nicht signierter Beitrag von 128.176.181.5 (Diskussion) 16:25, 31. Jan. 2014 (CET))
- Der Ausgewogenheit halber sollte man auch die Erwiderung im Text erwähnen: http://mathoverflow.net/questions/155571/a-preprint-of-sela-concerning-the-work-of-kharlampovich-miyasnikov --Kamsa Hapnida (Diskussion) 17:58, 6. Jun. 2015 (CEST)
Mistake
[Quelltext bearbeiten]As a matter of fact the work of Kharlampovich turned out to be wrong, as known in the community. A detailed review includes a counterexamples to Kharlampovich's work appears in Sela's paper A REPORT ON ”ELEMENTARY THEORY OF FREE NONABELIAN GROUPS” BY O. KHARLAMPOVICH AND A. MYASNIKOV. (nicht signierter Beitrag von 77.125.158.224 (Diskussion) 22:33, 18. Jul 2015 (CEST))