The Computer
Science Colloquium
Thursday, March 8, 4:15pm,
room 9204/9205
Yuri Matiyasevich
(Steklov Institute of Mathematics at St.Petersburg)
"Hilbert's Tenth Problem and Paradigms of Computation"
This is 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 the Computability Theory.
The Colloquium is supported by generous contributions from
the Bloomberg, Information Builders, Inc., and Netlogic,
Inc.
|
