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.
Breve storia: Le origini<br />
1900 Hilbert: 23rd: Find a method for deci<strong>di</strong>ng the truth or falsity of any<br />
statement of pre<strong>di</strong>cate calculus (decision procedure)<br />
Programma hilbertiano (1904): riduzione della matematica ad un mero<br />
calcolo <strong>di</strong> simboli privi <strong>di</strong> significato in un sistema <strong>di</strong> assiomi e regole<br />
(metamatematica)<br />
1930/1 Gödel: Incompletezza e crisi del programma hilbertiano<br />
Indeci<strong>di</strong>bilità: Proposizioni indeci<strong>di</strong>bili nell’artimetica<br />
1936 <strong>Turing</strong>: Cosa significa "calcolare"?<br />
<strong>Macchina</strong> o modello?<br />
1936 Tesi <strong>di</strong> Church-turing: Le funzioni intuitivamente calcolabili sono tutte e<br />
sole le funzioni <strong>Turing</strong>-calcolabili<br />
Informatica come scienza dell’informazione<br />
In<strong>di</strong>pendenza dalla macchina<br />
Profonda ra<strong>di</strong>ce logico-matematica<br />
Mathesis: Verona - 10.03.2012 – p.3/56
Change language