Seminar series
Date
Mon, 09 Nov 2015
Time
16:00 -
17:00
Location
C2
Speaker
Philip Dittmann
Organisation
Oxford
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.