Donnerstag, 27. Januar 2011
Andrews-Robbins-Vermutung bewiesen
Und noch ein Knaller. Unter Computereinsatz wurde die jahrzehnte alte Andrews-Robbins-Vermutung bewiesen.

scinexx berichtet:

http://www.g-o.de/wissen-aktuell-12893-2011-01-26.html

Eine im Jahr 1985 aufgestellte mathematische Vermutung - die Andrews-Robbins-Vermutung – haben österreichische Mathematiker jetzt erstmals bewiesen. Die jetzt in den “Proceedings of the National Academy of Sciences” (PNAS) veröffentlichte Beweisführung gelang nur unter Einsatz enormer Computer-Ressourcen und erst nach computergerechter Aufbereitung der Formel. Mit dem Beweis wird bestätigt, dass sich die Struktur so genannter „total symmetrischer planarer Partitionen" mit einer einzigen Formel beschreiben lässt. Gleichzeitig ist damit auch die letzte einer ganzen Reihe berühmter mathematischer Vermutungen bewiesen, die sich auf planare Partitionen beziehen.

... comment