Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Existenz nichtberechenbarer Funktionen<br />
nicht jede Funktion ist berechenbar<br />
folgt aus Gödelschen Unvollständigkeitssatz<br />
Jedes hinreichend mächtige formale System ist<br />
entwe<strong>der</strong> wi<strong>der</strong>sprüchlich o<strong>der</strong> unvollständig.<br />
Abzählung <strong>der</strong> Sätze des formalen Systems<br />
Aussage konstruieren: „Satz x ist nicht beweisbar“<br />
Diese Aussage wird Satz x des Systems<br />
entwe<strong>der</strong>: Satz x ist wahr, dann nicht beweisbar<br />
o<strong>der</strong>: Satz x ist falsch, dann beweisbar und demnach wahr<br />
→ Wi<strong>der</strong>spruch<br />
sowie <strong>der</strong> Unlösbarkeit <strong>der</strong> Halteproblems<br />
246