Single Idea 9223

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

Full Idea

My Proceduralism has one simple rule (introduce an object), and four complex rules: Composition (combining two procedures), Conditionality (if A, do B), Universality (do a procedure for every x), and Iteration (rule to keep doing B).

Clarification

See Idea 9222 for his Proceduralism

Gist of Idea

My Proceduralism has one simple rule, and four complex rules

Source

Kit Fine (Our Knowledge of Mathematical Objects [2005], 1)

Book Reference

'Oxford Studies in Epistemology Vol. 1', ed/tr. Gendler,R/Hawthorne,J [OUP 2004], p.91


A Reaction

It sounds like a highly artificial and private game which Fine has invented, but he claims that this is the sort of thing that practising mathematicians have always done.

Related Idea

Idea 9222 The objects and truths of mathematics are imperative procedures for their construction [Fine,K]