12 ideas
9148 | I think of variables as objects rather than as signs [Fine,K] |
Full Idea: It is natural nowadays to think of variables as a certain kind of sign, but I wish to think of them as a certain kind of object. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §2) | |
A reaction: Fine has a theory based on 'arbitrary objects', which is a rather charming idea. The cell of a spreadsheet is a kind of object, I suppose. A variable might be analogous to a point in space, where objects can locate themselves. |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
Full Idea: The facts of geometry order themselves into a geometry, the facts of arithmetic into a theory of numbers, the facts of statics, electrodynamics into a theory of statics, electrodynamics, or the facts of the physics of gases into a theory of gases. | |
From: David Hilbert (Axiomatic Thought [1918], [03]) | |
A reaction: This is the confident (I would say 'essentialist') view of axioms, which received a bit of a setback with Gödel's Theorems. I certainly agree that the world proposes an order to us - we don't just randomly invent one that suits us. |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
Full Idea: If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions. | |
From: David Hilbert (Axiomatic Thought [1918], [09]) | |
A reaction: Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others. |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
Full Idea: It is necessary to study the essence of mathematical proof itself if one wishes to answer such questions as the one about decidability in a finite number of operations. | |
From: David Hilbert (Axiomatic Thought [1918], [53]) |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
Full Idea: The linearity of the equation of the plane and of the orthogonal transformation of point-coordinates is completely adequate to produce the whole broad science of spatial Euclidean geometry purely by means of analysis. | |
From: David Hilbert (Axiomatic Thought [1918], [05]) | |
A reaction: This remark comes from the man who succeeded in producing modern axioms for geometry (in 1897), so he knows what he is talking about. We should not be wholly pessimistic about Hilbert's ambitious projects. He had to dig deeper than this idea... |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
Full Idea: The laws of calculation and the rules of integers suffice for the construction of number theory. | |
From: David Hilbert (Axiomatic Thought [1918], [05]) | |
A reaction: This is the confident Hilbert view that the whole system can be fully spelled out. Gödel made this optimism more difficult. |
9152 | If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K] |
Full Idea: In traditional abstraction, the colour green merely has the intrinsic property of being green, other properties of things being abstracted away. But why should that be regarded as a type? It must be because the property is common to the instances. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §5) | |
A reaction: A nice question which shows that the much-derided single act of abstraction is not sufficient to arrive at a concept, so that abstraction is a more complex matter (perhaps even a rational one) than simple empiricists believe. |
9149 | To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K] |
Full Idea: In abstracting from the elements of a doubleton to obtain 2, we do not wish to abstract away from all features of the objects. We wish to take account of the fact that the two objects are distinct; this alone should be preserved under abstraction. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
A reaction: This is Fine's strategy for meeting Frege's objection to abstraction, summarised in Idea 9146. It seems to use the common sense idea that abstraction is not all-or-nothing. Abstraction has degrees (and levels). |
9150 | We should define abstraction in general, with number abstraction taken as a special case [Fine,K] |
Full Idea: Number abstraction can be taken to be a special case of abstraction in general, which can then be defined without recourse to the concept of number. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
A reaction: At last, a mathematical logician recognising that they don't have a monopoly on abstraction. It is perfectly obvious that abstractions of simple daily concepts must be chronologically and logically prior to number abstraction. Number of what? |
9146 | After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K] |
Full Idea: In Cantor's abstractionist account there can only be two numbers, 0 and 1. For abs(Socrates) = abs(Plato), since their numbers are the same. So the number of {Socrates,Plato} is {abs(Soc),abs(Plato)}, which is the same number as {Socrates}! | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §1) | |
A reaction: Fine tries to answer this objection, which arises from §45 of Frege's Grundlagen. Fine summarises that "indistinguishability without identity appears to be impossible". Maybe we should drop talk of numbers in terms of sets. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
Full Idea: By pushing ahead to ever deeper layers of axioms ...we also win ever-deeper insights into the essence of scientific thought itself, and become ever more conscious of the unity of our knowledge. | |
From: David Hilbert (Axiomatic Thought [1918], [56]) | |
A reaction: This is the less fashionable idea that scientific essentialism can also be applicable in the mathematic sciences, centring on the project of axiomatisation for logic, arithmetic, sets etc. |