Die Church-Turing-These
Die Church-Turing-These
Die Church-Turing-These
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Bemerkung<br />
<strong>Die</strong> <strong>Church</strong>-<strong>Turing</strong>-<strong>These</strong> bezieht sich auf den intuitiven Begriff der<br />
Berechenbarkeit, der sich wiederum auf den intuitiven Begriff des<br />
Algorithmus stützt.<br />
Sie besagt, dass die obengenannten Formalen Systeme adäquate<br />
mathematische Formalisierungen dieses intuitiven Begriffs darstellen.<br />
Daher ist die <strong>Church</strong>-<strong>Turing</strong>-<strong>These</strong> keine mathematische Aussage und<br />
lässt sich mathematisch nicht beweisen.<br />
Bemerkung<br />
<strong>Die</strong> <strong>Church</strong>-<strong>Turing</strong>-<strong>These</strong> wird oft auch einfach <strong>Church</strong>’sche <strong>These</strong><br />
genannt.<br />
() <strong>Die</strong> <strong>Church</strong>-<strong>Turing</strong>-<strong>These</strong> 12 / 12