Title: Hilbert's tenth problem and definability problems in number theory
Speaker: Jennifer Park (Ohio State University)
Abstract: Hilbert's tenth problem asks whether there exists an algorithm to decide whether any polynomial equation has integer solutions or not. While this problem was settled by Matiyasevich in 1970 (building on the earlier work of Davis, Putnam, and Robinson), many variations of this problem, including that over the rationals instead of the integers, remain unresolved. In this talk, we discuss various approaches and conjectures to resolving Hilbert's tenth problem over Q.
Note: The goal of Welcome Seminar is to give an opportunity to new postdoctoral fellows and tenure track professors to introduce themselves to their colleagues. The talks are intended to be non-technical and accessible to graduate students as well. Please plan to attend and encourage your graduate students to do so as well. The talk will be preceded by a colloquium-style reception at 4:00, in the area adjacent to Cockins Hall 240 on the second floor of the Math Building.