SEMINARIO DI MATEMATICA
lunedì 7 aprile 2008
ore 18.00
Scuola Normale Superiore
Pisa
(Aula Tonelli)
Jeroen Demeyer
S.N.S., Pisa
Terrà un seminario dal titolo:
"Hilbert's Tenth Problem: undecidability of diophantine equations"
Abstract
For his tenth problem, Hilbert asked to find a procedure (an algorithm) to decide whether or not a given diophantine equation has a solution over the integers. In 1970, it was shown by Matiyasevich, building on earlier work by Davis, Putnam and Robinson, that such an algorithm does not exist. In this talk, I will give some idea of the proof and also mention some generalisations and open questions.
Tutti gli interessati sono invitati a partecipare.
_______________________________________________ Settimanale mailing list Settimanale@mail.dm.unipi.it https://mail.dm.unipi.it/mailman/listinfo/settimanale