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.
CHURCH’sche These<br />
Aus Möglichkeit <strong>der</strong> Abbildung zwischen<br />
<strong>Modelle</strong>n folgt<br />
alle bisher diskutierten <strong>Alg</strong>orithmenmodelle (und<br />
weitere) leisten prinzipiell gleich viel<br />
sie führen auf die gleiche Klasse berechenbarer<br />
Funktionen<br />
Die Klasse <strong>der</strong> intuitiv berechenbaren Funktionen<br />
stimmt mit den formalen Klassen <strong>der</strong> (Registermaschinen-,<br />
imperativ, applikativ, Markov-, etc.)<br />
berechenbaren Funktionen überein.<br />
These prinzipiell nicht beweisbar!<br />
240