Where academic tradition
meets the exciting future

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.