Combining Texts

All the ideas for 'fragments/reports', 'Reality is Not What it Seems' and 'Russell's Mathematical Logic'

expand these ideas     |    start again     |     specify just one area for these texts


25 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Impredicative Definitions refer to the totality to which the object itself belongs [Gödel]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Reference to a totality need not refer to a conjunction of all its elements [Gödel]
5. Theory of Logic / K. Features of Logics / 8. Enumerability
A logical system needs a syntactical survey of all possible expressions [Gödel]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Zeno assumes collecting an infinity of things makes an infinite thing [Rovelli]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Some arithmetical problems require assumptions which transcend arithmetic [Gödel]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Mathematical objects are as essential as physical objects are for perception [Gödel]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
Impredicative definitions are admitted into ordinary mathematics [Gödel]
7. Existence / B. Change in Existence / 2. Processes
Quantum mechanics deals with processes, rather than with things [Rovelli]
7. Existence / B. Change in Existence / 4. Events / b. Events as primitive
Quantum mechanics describes the world entirely as events [Rovelli]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
There are probably no infinities, and 'infinite' names what we do not yet know [Rovelli]
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
The basic ideas of fields and particles are merged in quantum mechanics [Rovelli]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / b. Fields
Because it is quantised, a field behaves like a set of packets of energy [Rovelli]
There are about fifteen particles fields, plus a few force fields [Rovelli]
The world consists of quantum fields, with elementary events happening in spacetime [Rovelli]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / c. Electrons
Electrons only exist when they interact, and their being is their combination of quantum leaps [Rovelli]
Electrons are not waves, because their collisions are at a point, and not spread out [Rovelli]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / d. Quantum mechanics
Quantum Theory describes events and possible interactions - not how things are [Rovelli]
27. Natural Reality / B. Modern Physics / 4. Standard Model / a. Concept of matter
Nature has three aspects: granularity, indeterminacy, and relations [Rovelli]
27. Natural Reality / C. Space / 4. Substantival Space
The world is just particles plus fields; space is the gravitational field [Rovelli]
27. Natural Reality / D. Time / 2. Passage of Time / g. Time's arrow
Only heat distinguishes past from future [Rovelli]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]