Jetzt Ausgabe Nr. 8 bestellen!

Online Lesen

ZURÜCK
Mitglied werden

Total berechenbar

Wie eine Algorithmusmaschine Lösungen für wirklich jedes Problem findet.

Ein Theorieschnipsel zu Alan Turing.

Da werden alle neugierig: „On Computable Numbers, with an Application to the Entscheidungsproblem” — auch, weil Sprache wechseln, klar, voll nice ist. Worum geht’s? Vielleicht um die einfache Frage, ob Ja oder Nein? Von wegen Entscheidung und so? Nee, leider nicht. Sondern darum, ob eine Formel der Prädikatenlogik allgemeingültig ist. Also ob jede Interpretation einer mathematischen, das heißt formal logischen, Aussage wahr ist? Ha ha ha — what!? Auf jeden Fall irgendwas mit Mathe. Irgendwelche Probleme mit Entscheidungen, okay. Checkt aber erstmal keiner. Bevor wir also klären können, warum Alan Turing mit seiner Schrift etwas geleistet hat, was uns alle betrifft, müssen wir zumindest grob erläutern, bei welchen Entscheidungen es überhaupt zu Problemen kam.