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.