more on this theme     |     more from this thinker


Single Idea 17605

[filed under theme 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation ]

Full Idea

At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers.

Gist of Idea

Hilbert's geometry and Dedekind's real numbers were role models for axiomatization

Source

Penelope Maddy (Defending the Axioms [2011], 1.3)

Book Ref

Maddy,Penelope: 'Defending the Axioms' [OUP 2013], p.31


The 7 ideas from 'Defending the Axioms'

The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy]
Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy]
Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy]
Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy]
Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy]
If two mathematical themes coincide, that suggest a single deep truth [Maddy]