more from this thinker     |     more from this text

Single Idea 8706

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

Full Idea

Too much of mathematics is rejected by the constructivist.

Gist of Idea

Constructivism rejects too much mathematics

Source

Michèle Friend (Introducing the Philosophy of Mathematics [2007], 5.1)

Book Ref

Friend,Michèle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.106

A Reaction

This was Hilbert's view. This seems to be generally true of verificationism. My favourite example is that legitimate speculations can be labelled as meaningless.

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]