Edi-O-matics?
Created | Updated Oct 20, 2010
Die Edi-O-matik ist ein Algorithmus, mit dessen Hilfe man jedes erdenkliche Problem zu lösen vermag. Diesem raffinierten Verfahren liegt die plausible Annahme zugrunde, dass jedes Problem eine Lösung hat. Woraus folgt, dass sich die Lösung an einem raumzeitlichen Punkt befinden muss. Also braucht man bloss hinzugehen und diese kurzerhand abzuschreiben.
Bei diesem Verfahren stellen sich allerdings drei Fragen: (1) Was geschieht, wenn die Lösung unerreichbar ist? - Ganz einfach: Die Erreichbarkeit ist ein Problem, dessen Lösung ebenfalls irgendwo steht und nur darauf wartet gefunden zu werden. (2) Wenn man die Lösung kennt, heisst das noch lange nicht, dass man diese auch versteht. Aber selbst das Verständnis eines Problems ist ein Problem, dessen Lösung irgendwo sein muss. Und (3) ist die plausible Annahme auch wirklich richtig ? Aber auch hier ist die Verifikation der Annahme ein Problem, dessen Lösung, respektive Beweis irgendwo steht.
Kurt Gödel bewies bekanntlich, dass „alle widerspruchsfreien axiomatischen Formulierungen der Zahlentheorie unentscheidbare Aussagen enthalten.“ Die Edi-O-matik ist zwar weder axiomatisch noch eine Formulierung der Zahlentheorie. Nichtsdestotrotz enthält sie neben ihrer Widerspruchsfreiheit ein unentscheidbares Problem: Man spricht häufig auch von der definitiven, kosmischen Singularität: Die richtige Orthographie des Wortes „Caputschino“. Diese lässt sich mit der Edi-O-matik ermitteln.
Bei diesem Verfahren stellen sich allerdings drei Fragen: (1) Was geschieht, wenn die Lösung unerreichbar ist? - Ganz einfach: Die Erreichbarkeit ist ein Problem, dessen Lösung ebenfalls irgendwo steht und nur darauf wartet gefunden zu werden. (2) Wenn man die Lösung kennt, heisst das noch lange nicht, dass man diese auch versteht. Aber selbst das Verständnis eines Problems ist ein Problem, dessen Lösung irgendwo sein muss. Und (3) ist die plausible Annahme auch wirklich richtig ? Aber auch hier ist die Verifikation der Annahme ein Problem, dessen Lösung, respektive Beweis irgendwo steht.
Kurt Gödel bewies bekanntlich, dass „alle widerspruchsfreien axiomatischen Formulierungen der Zahlentheorie unentscheidbare Aussagen enthalten.“ Die Edi-O-matik ist zwar weder axiomatisch noch eine Formulierung der Zahlentheorie. Nichtsdestotrotz enthält sie neben ihrer Widerspruchsfreiheit ein unentscheidbares Problem: Man spricht häufig auch von der definitiven, kosmischen Singularität: Die richtige Orthographie des Wortes „Caputschino“. Diese lässt sich mit der Edi-O-matik ermitteln.
