Abstract
Feferman’s explicit mathematics and operational set theory are two important examples of families of theories providing an operational approach to mathematics. My aim here is to survey some central developments in these two fields, to sketch some of Fefeman’s main achievements, and to relate them to the work of others. The focus of my approach is on ontological questions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have