Der Satz von Turing

Visits: 1852    Philipp Wehrli, 21. Juli 2006 Von einer mathematischen Sprache erwarten wir, dass alle Begriffe eindeutig definiert sind und dass entscheidbar ist, ob eine Ansammlung von Zeichen einen Begriff definiert oder ob es sich nur um eine bedeutungsleere Anordnung von Zeichen handelt. Der Satz von Turing zeigt, dass kein Verfahren gibt, mit dem…