8 ideas
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
Full Idea: One of Hilbert's aims in 'The Foundations of Geometry' was to eliminate number [as measure of lengths and angles] from geometry. | |
From: report of David Hilbert (Foundations of Geometry [1899]) by William D. Hart - The Evolution of Logic 2 | |
A reaction: Presumably this would particularly have to include the elimination of ratios (rather than actual specific lengths). |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
Full Idea: Hilbert's geometrical axioms were existential in character, asserting the existence of certain geometrical objects (points and lines). Euclid's postulates do not assert the existence of anything; they assert the possibility of certain constructions. | |
From: report of David Hilbert (Foundations of Geometry [1899]) by Charles Chihara - A Structural Account of Mathematics 01.1 | |
A reaction: Chihara says geometry was originally understood modally, but came to be understood existentially. It seems extraordinary to me that philosophers of mathematics can have become more platonist over the centuries. |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
Full Idea: In his formal investigation of Euclidean geometry, Hilbert uncovered congruence axioms that implicitly played a role in Euclid's proofs but were not explicitly recognised. | |
From: report of David Hilbert (Foundations of Geometry [1899]) by Horsten,L/Pettigrew,R - Mathematical Methods in Philosophy 2 | |
A reaction: The writers are offering this as a good example of the benefits of a precise and formal approach to foundational questions. It's hard to disagree, but dispiriting if you need a PhD in maths before you can start doing philosophy. |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
Full Idea: Hilbert's formulation of the Euclidean theory is of special interest because (besides being rigorously axiomatised) it does not employ the real numbers in the axioms. | |
From: report of David Hilbert (Foundations of Geometry [1899]) by Hartry Field - Science without Numbers 3 | |
A reaction: Notice that this job was done by Hilbert, and not by the fictionalist Hartry Field. |
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
Full Idea: The idea that there should be something like a distinction of levels among properties is captured in Ramsey's 'simple theory of types'. | |
From: report of Frank P. Ramsey (works [1928]) by A.C. Grayling - Russell | |
A reaction: I merely report this, though it is not immediately obvious how anyone would decide which 'level' a type belonged on. |
3212 | Beliefs are maps by which we steer [Ramsey] |
Full Idea: Beliefs are maps by which we steer. | |
From: Frank P. Ramsey (works [1928]), quoted by Georges Rey - Contemporary Philosophy of Mind p.259 n5 |
3979 | The Turing Machine is the best idea yet about how the mind works [Fodor on Turing] |
Full Idea: Alan Turing had (in his theory of the 'Turing Machine') what I suppose is the best thought about how the mind works that anyone has had so far. | |
From: comment on Alan Turing (Computing Machinery and Intelligence [1950]) by Jerry A. Fodor - Jerry A. Fodor on himself p.296 | |
A reaction: I am not convinced, because I don't think rationality is possible without consciousness. The brain may bypass the representations used by a computer. |
5321 | In 50 years computers will successfully imitate humans with a 70% success rate [Turing] |
Full Idea: In about fifty years' time it will be possible to program computers to play the imitation game so well that an average interrogator will not have more than 70% chance of making the right identification after five minutes of questioning. | |
From: Alan Turing (Computing Machinery and Intelligence [1950], p.57), quoted by Robert Kirk - Mind and Body §5.9 | |
A reaction: This is the famous prophecy called 'The Turing Test'. The current state (2004) seems to be that the figure of 70% is very near, but no one sees much prospect of advancing much further in the next 100 years. Dennett sees jokes as a big problem. |