Foundational frameworks

Geoffrey Hellman

pp. 53-69

in: Giovanni Sommaruga (ed), Foundational theories of classical and constructive mathematics, Berlin, Springer, 2011

Abstract

A good place to begin is with a delineation of the sorts of questions that foundational frameworks for mathematics, as we conceive them, can usefully address and which motivate their development in the first place. This will in turn guide us in framing some important desiderata that such frameworks should try to meet.