Foundations of mathematics and studies of infinity (DZAMONJAMU18CTP)
This PhD project aims to explore the recent crisis in the foundations of mathematics, considering in particular the role of set theory and the notion of infinity. The student will benefit from the advice of one of the best set theory groups in the UK and one of the strongest Philosophy groups worldwide. Candidates should speak both English and French and have solid interest in Logic, mathematical and philosophical.
This PhD project is part of a collaboration between the Mathematical Logic group at the University of East Anglia (UEA) and the University Panthéon-Sorbonne, Paris 1 France, specifically their centre IHPST attached to the Department of Philosophy. The successful candidate will be required to study for a minimum of 18 months at both universities. The exact timing of the blocks of study will be agreed in consultation with both supervisors.
Candidates will be interviewed by both the University Panthéon-Sorbonne, Paris 1 and the University of East Anglia. These will be two separate interviews.
Academic Supervisor: [Email Address Removed]
Type of programme: PhD
Start date: October 2018
Mode of study: Full time
Acceptable first degree 1st in Mathematics or Philosophy with a strong logic background.
This PhD studentship is funded by the University of East Anglia for the period of study whilst at the UEA. Funding is available to UK/EU applicants and comprises of payment of tuition fees and a maintenance stipend at RCUK rates.
The University Panthéon-Sorbonne, Paris 1 does not charge tuition fee but there is an inscription fee of approximately 400 euros, details of which can be found at http://lettres.sorbonne-universite.fr/Inscription-these. The successful candidate can also apply for competitive funding from the University Panthéon-Sorbonne, Paris 1. for a maintenance grant for the period of study spent at the University Panthéon-Sorbonne, Paris 1.
i) Foundations of set theory, Fraenkel, Bar-Hillel and Levy, 2nd edition, North Holland 1973
ii) K. Kunen notes, https://www.math.wisc.edu/~miller/old/m771-10/kunen770.pdf
iii) K. Kunen, Set Theory, and introduction to independence proofs, 1st edition, North-Holland 1980
iv) Modeling set theory in homotopy type theory , https://perso.ens-lyon.fr/jeremy.ledent/internship_report.pdf
v) Stanford Encyclopedia of Philosophy, https://plato.stanford.edu