Single Idea 10255

[catalogued under 6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism]

Full Idea

Presumably within a dynamic system, once the constructor has an operation available, then no activity can preclude the performance of the operation?

Gist of Idea

Presumably nothing can block a possible dynamic operation?

Source

Stewart Shapiro (Philosophy of Mathematics [1997], 6.5)

Book Reference

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.194


A Reaction

There seems to be an interesting assumption in static accounts of mathematics, that all the possible outputs of (say) a function actually exist with a theory. In an actual dynamic account, the constructor may be smitten with lethargy.