Judson Webb (1968).
The Constructivity Problem
The problem of whether or not the foundations of mathematics can be formulated purely constructively, that is, without recourse to assumptions about a platonic ontology of abstract mathematical entities.
If mathematics could be founded on a purely constructional basis, that would mean that it can be constructed "mechanistically". |