Thomas Forster (mathematician)

Thomas Edward Forster (born 12 April 1948) is a British set theorist and philosopher. His work has focused on Quine's New Foundations, the theory of well-quasi-orders and better-quasi-orders, and various topics in philosophy.[1]

Dr
Thomas Forster
Born (1948-04-12) 12 April 1948 (age 76)
Alma materCambridge
Scientific career
InstitutionsDPMMS, Cambridge
Thesis NF  (1977)
Doctoral advisorAdrian Mathias, Maurice Boffa

Career

edit

Forster completed a PhD at the University of Cambridge in 1977, with the dissertation NF on New Foundations, jointly supervised by Adrian Mathias and Maurice Boffa.[2][3]

Forster is an Affiliated Lecturer at DPMMS, Cambridge,[4] a bye-fellow at Queens' College,[5] and holds honorary appointments for many other organisations worldwide, including the Center for Philosophy of Science in Pittsburgh, the Centre National de Recherches de Logique in Belgium, and the Centre for Discrete Mathematics and Theoretical Computer Science at the University of Auckland.[1] Amongst his undergraduate supervisees are Phebe Mann, Rosi Sexton, Richard Taylor, Rebecca Kitteridge, Doug Gurr, Sarah Flannery and Ursula Martin.

Recognition

edit

Forster was awarded the J.T. Knight Prize as a PhD student at Cambridge in 1974.[1] His article "The Iterative Conception of Set"[6] was recognised by the Philosophers' Annual as one of the ten best philosophy articles of 2008.[7]

Books

edit

Forster's books include:

  • Quine's New Foundations: An Introduction (Cabay, 1983)[8]
  • Set Theory with a Universal Set: Exploring an Untyped Universe (Clarendon, 1992; 2nd ed., 1996)[9]
  • Reasoning about Theoretical Entities (World Scientific, 2003)[10]
  • Logic, Induction and Sets (Cambridge University Press, 2003)[11]

References

edit
  1. ^ a b c Forster, Thomas. "CV" (PDF).
  2. ^ Thomas Forster at the Mathematics Genealogy Project
  3. ^ Forster, T. E. (1977). NF (Thesis). University of Cambridge. doi:10.17863/CAM.16205. hdl:1810/223940.
  4. ^ "Dr Thomas Forster | Department of Pure Mathematics and Mathematical Statistics". www.dpmms.cam.ac.uk. Retrieved 29 November 2020.
  5. ^ "Dr Thomas Forster | Queens' College". www.queens.cam.ac.uk. Retrieved 29 November 2020.
  6. ^ FORSTER, THOMAS (June 2008). "The Iterative Conception of Set". The Review of Symbolic Logic. 1 (1): 97–110. CiteSeerX 10.1.1.157.5010. doi:10.1017/s1755020308080064. ISSN 1755-0203. S2CID 15231169.
  7. ^ "The Philosopher's Annual". www.pgrim.org. Retrieved 29 November 2020.
  8. ^ Review of Quine's New Foundations: Urs Oswald, The Journal of Symbolic Logic, doi:10.2307/2274242, JSTOR 2274242
  9. ^ Reviews of Set Theory with a Universal Set:
  10. ^ Review of Reasoning about Theoretical Entities: Elliott Mendelson, MR2017250, Zbl 1047.03001
  11. ^ Reviews of Logic, Induction and Sets:
edit