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.