Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Gödel <strong>di</strong>sse:<br />
Tarski has stressed in his lecture (and I think justly)<br />
the great importance of the concept of general<br />
recursiveness (or <strong>Turing</strong>’s computability). It seems to<br />
me that this importance is largely due to the fact that<br />
with this concept one has for the first time succeeded<br />
in giving an absolute definition of an interesting<br />
epistemological notion, i.e. one not depen<strong>di</strong>ng on the<br />
formalism chosen. [ . . . ] By a kind of miracle it is not<br />
necessary to <strong>di</strong>stinguish orders and the <strong>di</strong>agonal<br />
procedure does not lead outside the defined notion.<br />
[K. Gödel, Princeton 1946]<br />
Mathesis: Verona - 10.03.2012 – p.8/56