52 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
12456 | I aim to establish certainty for mathematical methods [Hilbert] |
12461 | We believe all mathematical problems are solvable [Hilbert] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
1553 | No perceptible object is truly straight or curved [Protagoras] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
12462 | Only the finite can bring certainty to the infinite [Hilbert] |
9633 | No one shall drive us out of the paradise the Cantor has created for us [Hilbert] |
12460 | We extend finite statements with ideal ones, in order to preserve our logic [Hilbert] |
12455 | The idea of an infinite totality is an illusion [Hilbert] |
12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
12312 | The real essence of a thing is its powers, or 'dispositional properties' [Copi] |
10937 | Essential properties are the 'deepest' ones which explain the others [Copi, by Rami] |
12308 | In modern science, nominal essence is intended to be real essence [Copi] |
12303 | Within the four types of change, essential attributes are those whose loss means destruction [Copi] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
1549 | Everything that exists consists in being perceived [Protagoras] |
1545 | Protagoras was the first to claim that there are two contradictory arguments about everything [Protagoras, by Diog. Laertius] |
1547 | Man is the measure of all things - of things that are, and of things that are not [Protagoras] |
3305 | There is no more purely metaphysical doctrine than Protagorean relativism [Benardete,JA on Protagoras] |
3313 | If my hot wind is your cold wind, then wind is neither hot nor cold, and so not as cold as itself [Benardete,JA on Protagoras] |
3317 | You can only state the problem of the relative warmth of an object by agreeing on the underlying object [Benardete,JA on Protagoras] |
247 | God is "the measure of all things", more than any man [Plato on Protagoras] |
606 | Protagoras absurdly thought that the knowing or perceiving man is 'the measure of all things' [Aristotle on Protagoras] |
612 | Relativists think if you poke your eye and see double, there must be two things [Aristotle on Protagoras] |
6016 | Early sophists thought convention improved nature; later they said nature was diminished by it [Protagoras, by Miller,FD] |
1580 | For Protagoras the only bad behaviour is that which interferes with social harmony [Protagoras, by Roochnik] |
205 | Protagoras contradicts himself by saying virtue is teachable, but then that it is not knowledge [Plato on Protagoras] |
1659 | Protagoras seems to have made the huge move of separating punishment from revenge [Protagoras, by Vlastos] |
532 | Successful education must go deep into the soul [Protagoras] |
1552 | He spent public money on education, as it benefits the individual and the state [Protagoras, by Diodorus of Sicily] |
12307 | Modern science seeks essences, and is getting closer to them [Copi] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
12310 | Real essences are scientifically knowable, but so are non-essential properties [Copi] |
1551 | He said he didn't know whether there are gods - but this is the same as atheism [Diogenes of Oen. on Protagoras] |