sabato 3 marzo 2012

Yuri Vladimirovich Matiyasevich

(in russo: Юрий Владимирович Матиясевич[?]; Leningrado, 2 marzo 1947) è un matematico e informatico russo. Ha dimostrato che il decimo problema di Hilbert è irrisolvibile. Bibliografia - Yuri Matiyasevich, Hilbert's 10th Problem (in inglese), introduzione di Martin Davis ed Hilary Putnam, The MIT Press, ottobre 1993. ISBN 978-0-262-13295-4

Nessun commento: