11 ideas
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. |
23896 | We see our character as a restricting limit, but also as an unshakable support [Weil] |
Full Idea: Our character appears to us as a limit by which we do not want to be imprisoned, …but also as a support that we want to believe is unshakable. | |
From: Simone Weil (On the Concept of Character [1941], p.100) | |
A reaction: A nice perception. It is fairly easy to criticise, or even laugh at, one's own actions, but extremely hard to criticise our own character. Maybe we all wish we were more determined in our projects, but not much else. |
23893 | We don't see character in a single moment, but only over a period of time [Weil] |
Full Idea: Character is constant over a period of time; the way a person is at a single moment does not at all reflect the character of this person. We do, however, concede that character changes. | |
From: Simone Weil (On the Concept of Character [1941], p.98) | |
A reaction: I do think, though, that there are moments in behaviour which are hugely revealing of character, even in a single remark. But I agree that most single moments do not show much. |
23894 | The concept of character is at the centre of morality [Weil] |
Full Idea: We cannot pose a moral problem without putting the concept of character at its centre. | |
From: Simone Weil (On the Concept of Character [1941], p.98) | |
A reaction: The question for Aristotle (which I derive from Philippa Foot) is whether moral goodness simply is good character, or whether it is the actions (or even the consequences). Weil is close to modern virtue theory here. |
23895 | We modify our character by placing ourselves in situations, or by attending to what seems trivial [Weil] |
Full Idea: We can modify our character, by putting ourselves in circumstances that will act on us from the outside, …or by the orientation of our attention in the moments that appear most insignificant or indifferent in our lives. | |
From: Simone Weil (On the Concept of Character [1941], p.99) | |
A reaction: I've never seen anyone address this question (apart from Aristotle's emphasis on training habits). Choosing your source for current affairs information strikes me as very important. What you read, what you watch, who you spend time with… |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
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. |