Seminars at the Faculty of Informatics

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.

URL 1: http://www.inf.unisi.ch/guest-lectures/