51 ideas
3035 | Dialectic involves conversations with short questions and brief answers [Diog. Laertius] |
10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
10857 | Set theory made a closer study of infinity possible [Clegg] |
10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
10871 | Axiom of Existence: there exists at least one set [Clegg] |
10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
10860 | An ordinal number is defined by the set that comes before it [Clegg] |
10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
22886 | The modern idea of 'limit' allows infinite quantities to have a finite sum [Bardon] |
22914 | An equally good question would be why there was nothing instead of something [Bardon] |
1816 | Sceptics say demonstration depends on self-demonstrating things, or indemonstrable things [Diog. Laertius] |
1819 | Scepticism has two dogmas: that nothing is definable, and every argument has an opposite argument [Diog. Laertius] |
3064 | When sceptics say that nothing is definable, or all arguments have an opposite, they are being dogmatic [Diog. Laertius] |
3033 | Induction moves from some truths to similar ones, by contraries or consequents [Diog. Laertius] |
1838 | Cyrenaic pleasure is a motion, but Epicurean pleasure is a condition [Diog. Laertius] |
1769 | Cynics believe that when a man wishes for nothing he is like the gods [Diog. Laertius] |
22902 | Why does an effect require a prior event if the prior event isn't a cause? [Bardon] |
22905 | Becoming disordered is much easier for a system than becoming ordered [Bardon] |
22913 | The universe expands, so space-time is enlarging [Bardon] |
22889 | We should treat time as adverbial, so we don't experience time, we experience things temporally [Bardon, by Bardon] |
22900 | How can we question the passage of time, if the question takes time to ask? [Bardon] |
22898 | What is time's passage relative to, and how fast does it pass? [Bardon] |
22897 | The A-series says a past event is becoming more past, but how can it do that? [Bardon] |
22901 | The B-series needs a revised view of causes, laws and explanations [Bardon] |
22896 | The B-series is realist about time, but idealist about its passage [Bardon] |
22903 | The B-series adds directionality when it accepts 'earlier' and 'later' [Bardon] |
22910 | To define time's arrow by causation, we need a timeless definition of causation [Bardon] |
22909 | We judge memories to be of the past because the events cause the memories [Bardon] |
22904 | The psychological arrow of time is the direction from our memories to our anticipations [Bardon] |
22906 | The direction of entropy is probabilistic, not necessary, so cannot be identical to time's arrow [Bardon] |
22907 | It is arbitrary to reverse time in a more orderly universe, but not in a sub-system of it [Bardon] |
22883 | It seems hard to understand change without understanding time first [Bardon] |
22890 | We experience static states (while walking round a house) and observe change (ship leaving dock) [Bardon] |
22884 | The motion of a thing should be a fact in the present moment [Bardon] |
22892 | Experiences of motion may be overlapping, thus stretching out the experience [Bardon] |
22911 | At least eternal time gives time travellers a possible destination [Bardon] |
22912 | Time travel is not a paradox if we include it in the eternal continuum of events [Bardon] |
22882 | We use calendars for the order of events, and clocks for their passing [Bardon] |