Thomas Forster (mathematician)
Dr Thomas Forster | |
---|---|
Born | 12 April 1948 |
Alma mater | Cambridge |
Scientific career | |
Institutions | DPMMS, Cambridge |
Thesis | NF (1977) |
Doctoral advisor | Adrian Mathias, Maurice Boffa |
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]
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]- ^ a b c Forster, Thomas. "CV" (PDF).
- ^ Thomas Forster at the Mathematics Genealogy Project
- ^ Forster, T. E. (1977). NF (Thesis). University of Cambridge. doi:10.17863/CAM.16205. hdl:1810/223940.
- ^ "Dr Thomas Forster | Department of Pure Mathematics and Mathematical Statistics". www.dpmms.cam.ac.uk. Retrieved 29 November 2020.
- ^ "Dr Thomas Forster | Queens' College". www.queens.cam.ac.uk. Retrieved 29 November 2020.
- ^ 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.
- ^ "The Philosopher's Annual". www.pgrim.org. Retrieved 29 November 2020.
- ^ Review of Quine's New Foundations: Urs Oswald, The Journal of Symbolic Logic, doi:10.2307/2274242, JSTOR 2274242
- ^ Reviews of Set Theory with a Universal Set:
- Maurice Boffa, Modern Logic, [1]
- N. B. Cocchiarella, History and Philosophy of Logic, doi:10.1080/01445349308837213
- J. W. Degen, Studia Logica, JSTOR 20015755
- Randall Holmes, The Journal of Symbolic Logic, doi:10.2307/2275241, JSTOR 2275241; 2nd ed., doi:10.2307/2275828, JSTOR 2275828
- Richard Kaye, Notre Dame Journal of Formal Logic , doi:10.1305/ndjfl/1093634660
- Stewart Shapiro, MR1166801
- N. H. Williams, Zbl 0755.03029; 2nd ed., Zbl 0831.03027
- ^ Review of Reasoning about Theoretical Entities: Elliott Mendelson, MR2017250, Zbl 1047.03001
- ^ Reviews of Logic, Induction and Sets:
- Nick Lord, The Mathematical Gazette, doi:10.1017/S0025557200177502, JSTOR 3620710
- Yehuda Rav, MR1996832
- K.Chandrasekhara Rao, Zbl 1026.03002
- Jan Woleński, Studia Logica, JSTOR 20016735
External links
[edit]- Forster's website at DPMMS, Cambridge.