Print Friendly printer friendly
 Events
MIT
Mon 26 May 2014, 1:30pm
Department Colloquium
MATH ANNEX 1100
Niven Lecture: Undecidability in number theory
MATH ANNEX 1100
Mon 26 May 2014, 1:30pm-2:30pm

Abstract

Hilbert's Tenth Problem asked for an algorithm that, given a multivariable polynomial equation with integer coefficients, would decide whether there exists a solution in integers.  Around 1970, Matiyasevich, building on earlier work of Davis, Putnam, and Robinson, showed that no such algorithm exists.  But the answer to the analogous question with integers replaced by rational numbers is still unknown, and there is not even agreement among experts as to what the answer should be.

Note for Attendees

There will be a departmental reception and student awards from 12:00pm-1:30pm in MATH 125.
hide
 
Top