more on this theme     |     more from this thinker


Single Idea 10271

[filed under theme 6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism ]

Full Idea

Evidently the 'given' underlying mathematics is closely related to the abstract elements contained in our empirical ideas.

Gist of Idea

Basic mathematics is related to abstract elements of our empirical ideas

Source

Kurt Gödel (What is Cantor's Continuum Problem? [1964], Suppl)

Book Ref

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.484


A Reaction

Yes! The great modern mathematical platonist says something with which I can agree. He goes on to hint at a platonic view of the structure of the empirical world, but we'll let that pass.


The 6 ideas from 'What is Cantor's Continuum Problem?'

Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam]
The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg]
If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD]
Set-theory paradoxes are no worse than sense deception in physics [Gödel]
We perceive the objects of set theory, just as we perceive with our senses [Gödel]
Basic mathematics is related to abstract elements of our empirical ideas [Gödel]