You are here: TUCS > RESEARCH > Distinguished Lectures > Yuri Matiyasevich
TUCS Distinguished Lecture on 1.10.: Yuri Matiyasevich
Monday, October 1, 2012 at 13.15
ICT Building, Auditorium Lambda
Coffee served from 12:45
Yuri Matiyasevich, Steklov Institute of Mathematics, Russia: "Turing machines vs Diophantine machines"
Host: Juhani Karhumäki, University of Turku
Abstract: Allan Turing introduced his celebrated machines by analyzing elementary
steps of computational devices, real physical and abstract imaginary ones.
Diophantine machines were introduced by Leonard Adleman and Kennet Manders
from quite different considerations--on the base of DPRM theorem about sets
defined by Diophantine equations.
The talk will be devoted to comparison and interplay of these two kinds of
machines.
The TUCS Distinguished Lecture Series is a forum for public lectures by outstanding national and international researchers in all aspects of computing, coming both from academia and industry. All lectures are free and open to the public.
Welcome!