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 />
Riduzionismo laplaciano<br />
Certezza algebrica come manipolazione meccanica <strong>di</strong> simboli<br />
(algebristi inglesi: Woodhouse 1801, Boole 1854, Babbage 1834)<br />
Sviluppo industriale: macchine!<br />
Mathesis: Verona - 10.03.2012 – p.3/56