Der Computer bewies den Vierfarbensatz – und die Mathematiker rebellierten
The Four Colour Theorem: The first time machines mogged mathematicians
1976 lösten Kenneth Appel und Wolfgang Haken das jahrhundertealte Vierfarbenproblem – mit einem Computer, der 1.200 Stunden rechnete und 10 Milliarden Entscheidungen traf. Die Mathematikerwelt reagierte gespalten: Von „Gott würde das nicht zulassen“ bis zu offener Ablehnung. Der Streit entfachte eine Grundsatzdebatte darüber, was ein mathematischer Beweis überhaupt ist.
Die über 40-Jährigen konnten nicht davon überzeugt werden, dass ein Computerbeweis korrekt war, während die unter 40-Jährigen nicht davon überzeugt werden konnten, dass ein Beweis mit 700 Seiten handschriftlicher Berechnungen korrekt sein könnte.
- fhdkweig
Das Problem an dem Beweis war, dass wir wussten, dass der FCT wahr war, aber keine Ahnung hatten, warum. Ein guter/elegant Beweis lehrt uns etwas Neues darüber, wie dieses Problem mit anderen Problemen zusammenhängt. Es geht nicht nur darum, eine Wahr/Falsch-Antwort auf die Vermutung zu bekommen.
- layer8
Ich wusste nicht, dass wir schon Zeitmaschinen erfunden haben. ;)
- jjtheblunt
Der Titel erinnerte mich an eine viel ältere Maschine, die zum Rechnen verwendet wurde