Wissen
Wir verwenden Cookies und Analysetools, um die Nutzerfreundlichkeit der Internetseite zu verbessern und passende Werbung von watson und unseren Werbepartnern anzuzeigen. Weitere Infos findest Du in unserer Datenschutzerklärung.

Der Japaner Shinichi Mochizuki stellt neue Mathematik-These auf – nur verstehen kann sie keiner

Ein Japaner will die legendäre abc-Vermutung bewiesen haben. Renommierte Mathematiker versuchten nun, die Arbeit zu prüfen. Doch trotz intensiver Bemühungen konnten sie den komplexen Gedankengängen nicht folgen.

18.12.15, 20:57 19.12.15, 08:58

Holger Dambeck



Ein Artikel von

Die Hängepartie für Shinichi Mochizuki geht weiter. 2012 hatte der japanische Mathematiker einen Beweis vorgelegt, der ein Meilenstein in der Zahlentheorie sein könnte. Es geht um die legendäre abc-Vermutung, die sich mit Teilern natürlicher Zahlen beschäftigt.

Shinichi Mochizuki stellt Mathematiker auf die Probe.

In Oxford hatten sich nun renommierte Experten seines Fachs versammelt, um den Hunderte Seiten langen Beweis zu begutachten. Doch die Zahlentheoretiker verliessen das mehrtägige Treffen fast genauso ratlos, wie sie gekommen waren.

«Es gibt immer noch keine Klarheit darüber, wie sich die einzelnen Puzzlestücke zusammenfügen», sagte der Mathematiker Kiran Kedlaya von der University of California in San Diego dem Magazin Nature. Der Frankfurter Zahlentheoretiker Jakob Stix erklärte: «Wir haben einiges Neues gelernt.» Aber wirklich verstanden habe den Beweis bislang wohl niemand.

Mochizuki selbst war gar nicht zum Workshop an das berühmte Clay Mathematics Institute gekommen. Er verlässt mittlerweile nur noch ungern Kyoto, wo er am Research Institute for Mathematical Sciences (RIMS) der Kyoto University forscht. Immerhin beantwortete der Japaner via Skype Fragen der Workshop-Teilnehmer, ohne allerdings wirklich dazu beizutragen, dass sein Beweis endlich verifiziert werden konnte.

Die abc-Vermutung stammt aus den achtziger Jahren und ist damit vergleichsweise jung. Sie elektrisiert Mathematiker vor allem deshalb, weil es viele andere Aussagen aus dem Spezialgebiet der Zahlentheorie gibt, deren Gültigkeit bewiesen wäre, sofern die abc-Vermutung zutrifft.

Paper von Mochizuki: «Keine Klarheit, wie sich Puzzlestücke zusammenfügen».
bild: spon

Dazu gehört unter anderem der Grosse Fermatsche Satz – ein Problem, dessen Lösung Mathematiker mehr als 300 Jahre beschäftigt hat. Der Satz besagt, dass die Gleichung an + bn = cn für n>2 keine Lösung für natürliche Zahlen (ganze Zahlen ab Null) a, b, c besitzt. Der Beweis gelang erst 1994.

Suche nach Teilern

Die abc-Vermutung ist etwas komplizierter als der Grosse Fermat, aber trotzdem noch gut zu verstehen. Auch darin geht es um drei natürliche Zahlen a, b und c, wobei c die Summe aus a und b ist und alle drei Zahlen keine gemeinsamen Teiler besitzen.

a + b = c

Nehmen wir als Beispiel die Zahlen 25, 27 und 52. Es gilt:

25 + 27 = 52

Diese drei Zahlen sind auch teilerfremd, denn 25 = 5*5, 27 = 3*3*3 und 52 = 2*2*13. Nun bildet man das sogenannte Radikal dieser drei Zahlen. Es ist das Produkt aller in ihnen enthaltenen Primzahlen, wobei mehrfach auftretende Primzahlen wie zum Beispiel die 5 nur einmal berücksichtigt werden. So erhalten wir:

Radikal (abc) = 2*3*5*13 = 390

Die abc-Vermutung besagt nun, dass dieses Radikal bis auf wenige Ausnahmen immer grösser ist als die Zahl c.

Unverstandene Mammutarbeit

Mochizukis Beweisvorschlag aus dem Jahr 2012 besteht aus vier Teilmanuskripten mit zusammen 500 Seiten. Doch nicht nur der Umfang der Arbeit, vor allem die selbst aus Sicht hartgesottener Mathematiker kaum durchdringbaren Gedankengänge haben alle bisherigen Versuche scheitern lassen, die Arbeit zu erfassen.

Mochizuki benutzt darin eine neue, von ihm entwickelte Theorie, die er wenig bescheiden «inter-universelle Geometrie» nennt. «Wenn man sich das anschaut, glaubt man ein Paper aus der Zukunft zu lesen, etwas aus dem fernen Weltall», schrieb Jordan Ellenberg, Zahlentheoretiker der University of Wisconsin-Madison, in seinem Blog nach der ersten Durchsicht der Arbeit.

«Das ist nach meinem Eindruck konventionelle Mathematik»

Jakob Stix von der Goethe-Universität Frankfurt am Main bezweifelt hingegen, dass es sich um völlig neuartige Methoden handelt: «Das ist nach meinem Eindruck konventionelle Mathematik, sie ist nur ungewöhnlich aufgeschrieben.» Das erschwere die Prüfung der Arbeit jedoch zusätzlich.

Der Japaner beziehe sich im Beweis zudem auf umfangreiche Vorarbeiten. «Viele davon sind in grosser Allgemeinheit verfasst, die man aber, wie sich zumindest bislang gezeigt hat, für das Verständnis nicht unbedingt braucht.» Der Beweis müsse vor allem verschlankt werden, so das Fazit des Frankfurter Professors.

Dass mathematische Beweise immer länger und komplizierter werden, lässt sich allerdings kaum verhindern – zumindest nicht für Probleme, an denen sich Forscher schon seit Jahrzehnten die Zähne ausbeissen. Wenn es eine elegante, kurze Lösung dafür gäbe, dann hätte sie wahrscheinlich längst jemand gefunden, lautet die Argumentation.

Eitel und arrogant?

Dass seine Arbeit bislang niemand so recht durchdrungen hat, könnte auch mit Mochizukis Persönlichkeit zu tun haben. Der Japaner reist mittlerweile nur noch ungern und schlägt Einladungen von Kollegen aus. Seit 15 Jahren tüftelt er zurückgezogen an der abc-Vermutung. Manche Kollegen stören sich an arroganten Äusserungen, etwa wenn Mochizuki Mathematikern erklärt, sie müssten ihre über Jahrzehnte liebgewonnenen Denkmuster abschalten, wenn sie seine Arbeit verstehen wollten.

Ein wenig erinnert der Japaner auch an den russischen Mathematiker Gregorij Perelman. Der machte weltweit Schlagzeilen, als er die Poincaré-Vermutung bewies. Perelman lebt seit langem zurückgezogen in St.Petersburg, die Annahme von Preisen für seine spektakulären Arbeiten lehnte er ab.

Noch aber ist nicht klar, ob Mochizuki künftig tatsächlich in einem Atemzug mit Perelman und der Mathematik-Legende Alexander Grothendieck genannt wird. Der nächste Workshop über seinen Beweis ist für Juli 2016 in Kyoto geplant. Dort könnte der 46-Jährige seine Gedankengänge persönlich erläutern – vielleicht fällt dann ja bei dem einen oder anderen Kollegen der Groschen.

Hol dir die App!

Brikne, 20.7.2017
Neutrale Infos, Gepfefferte Meinungen. Diese Mischung gefällt mir.

Abonniere unseren Daily Newsletter

Themen
12
Weil wir die Kommentar-Debatten weiterhin persönlich moderieren möchten, sehen wir uns gezwungen, die Kommentarfunktion 72 Stunden nach Publikation einer Story zu schliessen. Vielen Dank für dein Verständnis!
12Alle Kommentare anzeigen
    Alle Leser-Kommentare
  • Cheesus 19.12.2015 08:15
    Highlight Und da behaupten noch gewisse Leute, die Sozial- und Geisteswissenschaften seien unnötig...
    12 60 Melden
    • emc2 19.12.2015 09:01
      Highlight Zahlentheorie findet Anwendung in der Kryptographie. Gerade momenten mit der Entwicklung des Quantencomputers und der ganzen Überwachungs-Debatte ist das überhaupt nicht unnötig.
      Aber zugegeben: Kennt man sich mit Hochschul-Mathematik nicht aus, scheint das Ganze schon sehr bizarr...
      47 2 Melden
    • maddiepilz 19.12.2015 09:18
      Highlight das ist aber Mathe, eine Naturwissenschaft.
      38 10 Melden
    • Fumo 19.12.2015 10:31
      Highlight Mathematik als sozial- und geisteswissenschaft bezeichnen, herrlich XD
      40 8 Melden
    • Matthias Trüb 19.12.2015 11:35
      Highlight Ihr seid alle herlich :-P . Er hat sein Sozialverhalten gemeint, dass durch das Fehlen von sozialwissenschaftlicher Ausbildung irgend in einem dicken Mathebuch in der hintersten Ecke seines Büros verschollen ist und dort verstaubt
      7 13 Melden
    • herschweizer 19.12.2015 11:41
      Highlight wir funktionieren leider nach Triggern die sich mathematisch ordnen lassen. sonst würde die Kumuluskarte ja keinen Sinn machen. Schaut mal wo Mathematiker angestellt werden
      12 1 Melden
  • Goon 19.12.2015 06:10
    Highlight wo ist sheldon?
    37 6 Melden
  • kiawase 19.12.2015 02:36
    Highlight solche probleme wünscht man sich ....
    4 33 Melden
  • M. Sig 19.12.2015 01:30
    Highlight Nerd-Input: der Fermatsche Satz gilt für a^n + b^n = c^n. Die Zahlen also jeweils hoch n, nicht mal n :)
    79 2 Melden
  • maddiepilz 19.12.2015 00:14
    Highlight mega geil:) bin gespannt ob der beweis bestätigt werden kann
    24 2 Melden
  • R0by 18.12.2015 21:12
    Highlight i understand only train station :)
    68 2 Melden
    • Philipp Dahm 18.12.2015 21:28
      Highlight I was fully adviceless too!
      41 1 Melden

72 endgeile Bilder der Jubiläums-Air-Force, die du gesehen haben MUSST

Die älteste Luftwaffe der Welt, die britische Royal Air Force, feiert 2018 ihr hundertjähriges Bestehen ... ach, egal – wir wollen euch einfach diese hammergeilen Flieger-Fotos zeigen! 

Und wer jetzt denkt, es folgen nun ausschliesslich etliche Bilder von Spitfires, Tornados und Konsorten ... liegt richtig.

Aber fangen erst mal mit dem hier an, dem geilsten Video ever auf YouTube:

Und nun: Die Bilder 👊

Artikel lesen