Characterising the Integers in the Rationals

9 November 2015
16:00
Philip Dittmann
Abstract

Starting from Hilbert's 10th problem, I will explain how to characterise the set of integers by non-solubility of a set of polynomial equations and discuss related challenges. The methods needed are almost entirely elementary; ingredients from algebraic number theory will be explained as we go along. No knowledge of first-order logic is necessary.

  • Junior Number Theory Seminar