Gunther Cornelissen (Universiteit Utrecht): Undecidable Problems about Rational Points

Is it possible to determine algorithmically whether or not an arbitrary polynomial equation has a solution in rational numbers? The answer to this question is not known. I will discuss some extensions of the problem for which a negative answer is known, or follows from (hitherto also unknown) conjectures about elliptic curves.