Seminar series
Date
Wed, 10 Oct 2018
11:00
11:00
Location
N3.12
Speaker
Brian Tyrrell
Organisation
University of Oxford
In this talk I will introduce Hilbert's 10th Problem (H10) and the model-theoretic notions necessary to explore this problem from the perspective of mathematical logic. I will give a brief history of its proof, talk a little about its connection to decidability and definability, then close by speaking about generalisations of H10 - what has been proven and what has yet to be discovered.