more on this theme     |     more from this thinker


Single Idea 10113

[filed under theme 6. Mathematics / C. Sources of Mathematics / 7. Formalism ]

Full Idea

The solid philosophical attitude that I think is required for the grounding of pure mathematics is this: In the beginning was the sign.

Gist of Idea

The grounding of mathematics is 'in the beginning was the sign'

Source

David Hilbert (works [1900]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6

Book Ref

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.148


A Reaction

Why did people invent those particular signs? Presumably they were meant to designate something, in the world or in our experience.


The 4 ideas from 'works'

The grounding of mathematics is 'in the beginning was the sign' [Hilbert]
Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman]
Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman]
Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend]