more from this thinker     |     more from this text

Single Idea 15939

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

Full Idea

For an intuitionist a mathematical statement is rendered true or false by a proof or disproof, that is, by a construction, and constructions are effected in time.

Gist of Idea

For intuitionists it is constructed proofs (which take time) which make statements true

Source

Michael Dummett (Elements of Intuitionism [1977], p.336), quoted by Shaughan Lavine - Understanding the Infinite VI.2

Book Ref

Lavine,Shaughan: 'Understanding the Infinite' [Harvard 1994], p.168

A Reaction

Lavine is quoting this to draw attention to the difficulties of thinking of it as all taking place 'in time', especially when dealing with infinities.

The 16 ideas with the same theme [maths is entirely created by the human mind]:

9916 Convention, yes! Arbitrary, no! [Poincaré, by Putnam]
8684 Russell and Whitehead consider the paradoxes to indicate that we create mathematical reality [Russell/Whitehead, by Friend]
14248 We could accept the integers as primitive, then use sets to construct the rest [Cohen]
15939 For intuitionists it is constructed proofs (which take time) which make statements true [Dummett]
18068 Arithmetic is made true by the world, but is also made true by our constructions [Kitcher]
18070 We develop a language for correlations, and use it to perform higher level operations [Kitcher]
18069 Arithmetic is an idealizing theory [Kitcher]
18072 Constructivism is ontological (that it is the work of an agent) and epistemological (knowable a priori) [Kitcher]
9222 The objects and truths of mathematics are imperative procedures for their construction [Fine,K]
9223 My Proceduralism has one simple rule, and four complex rules [Fine,K]
10255 Presumably nothing can block a possible dynamic operation? [Shapiro]
10254 Can the ideal constructor also destroy objects? [Shapiro]
10264 Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
9608 There are no constructions for many highly desirable results in mathematics [Brown,JR]
9645 Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR]
8706 Constructivism rejects too much mathematics [Friend]