Computation Paradigms in the Light of Hilbert's Tenth Problem
- Speaker: Professor Yuri Matiyasevich (Steklov Mathematical Institute)
- Host: Andrei Voronkov
- 2nd July 2007 at 14:15 in 1.5
The talk will be a survey of a century-long history of interplay between Hilbert's tenth problem (about solvability of Diophantine equations) and different notions and ideas from Computability Theory.