b. 1945
John L. Bell is a Canadian philosopher and mathematician, Professor Emeritus at the University of Western Ontario, known for his influential work in mathematical logic, category theory, and the foundations of mathematics. He has made significant contributions to intuitionistic logic, smooth infinitesimal analysis, and the philosophy of the continuum.
Developed and popularized smooth infinitesimal analysis as an alternative foundation for calculus
Authored 'A Primer of Infinitesimal Analysis' and 'The Continuous and the Infinitesimal in Mathematics and Philosophy'
Made foundational contributions to topos theory and categorical logic
Advanced the philosophical understanding of the continuum and intuitionistic mathematics
Wrote influential works on set theory, including 'Set Theory: Boolean-Valued Models and Independence Proofs'