Conferenza Pubblica del Prof. Yuri Matiyasevich, 20 novembre 2007
Staff - Faculty of Informatics
Start date: 20 November 2007
End date: 21 November 2007
La Facoltà di Scienze informatiche dell'Univeristà della Svizzera Italiana ha il piacere di invitarvi alla Conferenza Pubblica in lingua inglese dal titolo
"Diophantine Equations as Computational Devices - Solving Hilbert's Tenth Problem"
"Equazioni diofantee come dispositivi di calcolo - La soluzione al decimo problema di Hilbert"
del Prof. Yuri Matiyasevich il 20 novembre 2007 alle ore 18:30 presso l'Aula Magna dell'Università in via G. Buffi 13, 6900 Lugano.
Sommario:
Nel 1900 il grande matematico tedesco David Hilbert enunciò 23 problemi matematici di particolare rilevanza che erano rimasti irrisolti alla fine del 19mo secolo e che sarebbero dovuti passare in
eredità al ventesimo secolo in arrivo. Uno di questi problemi, il decimo, può essere considerato oggi un problema di Informatica (disciplina che nel 1900 non esisteva). In questo problema, Hilbert
chiese un algoritmo per decidere se per una qualunque equazione diofantea ci fossero soluzioni intere o no. La risposta fù data solo settanta anni dopo. Il giovane russo Yuri Matiyasevich dimostrò che un tale algoritmo non esiste. Questo risultato di indecidibilità fu in seguito utilizzato da molti autori per stabilire l'indecidibilità di molti altri problemi.
