53 ideas
20678 | The Scientific Revolution was the discovery of our own ignorance [Harari] |
20686 | For millenia people didn't know how to convert one type of energy into another [Harari] |
22289 | Dedekind proved definition by recursion, and thus proved the basic laws of arithmetic [Dedekind, by Potter] |
10183 | An infinite set maps into its own proper subset [Dedekind, by Reck/Price] |
22288 | We have the idea of self, and an idea of that idea, and so on, so infinite ideas are available [Dedekind, by Potter] |
10706 | Dedekind originally thought more in terms of mereology than of sets [Dedekind, by Potter] |
9823 | Numbers are free creations of the human mind, to understand differences [Dedekind] |
10090 | Dedekind defined the integers, rationals and reals in terms of just the natural numbers [Dedekind, by George/Velleman] |
17452 | Ordinals can define cardinals, as the smallest ordinal that maps the set [Dedekind, by Heck] |
7524 | Order, not quantity, is central to defining numbers [Dedekind, by Monk] |
14131 | Dedekind's ordinals are just members of any progression whatever [Dedekind, by Russell] |
14437 | Dedekind's axiom that his Cut must be filled has the advantages of theft over honest toil [Dedekind, by Russell] |
18094 | Dedekind says each cut matches a real; logicists say the cuts are the reals [Dedekind, by Bostock] |
9824 | In counting we see the human ability to relate, correspond and represent [Dedekind] |
9826 | A system S is said to be infinite when it is similar to a proper part of itself [Dedekind] |
13508 | Dedekind gives a base number which isn't a successor, then adds successors and induction [Dedekind, by Hart,WD] |
18096 | Zero is a member, and all successors; numbers are the intersection of sets satisfying this [Dedekind, by Bostock] |
18841 | Categoricity implies that Dedekind has characterised the numbers, because it has one domain [Rumfitt on Dedekind] |
14130 | Induction is proved in Dedekind, an axiom in Peano; the latter seems simpler and clearer [Dedekind, by Russell] |
8924 | Dedekind originated the structuralist conception of mathematics [Dedekind, by MacBride] |
9153 | Dedekindian abstraction talks of 'positions', where Cantorian abstraction talks of similar objects [Dedekind, by Fine,K] |
9825 | A thing is completely determined by all that can be thought concerning it [Dedekind] |
9189 | Dedekind said numbers were abstracted from systems of objects, leaving only their position [Dedekind, by Dummett] |
9827 | We derive the natural numbers, by neglecting everything of a system except distinctness and order [Dedekind] |
9979 | Dedekind has a conception of abstraction which is not psychologistic [Dedekind, by Tait] |
16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |
20692 | Money does produce happiness, but only up to a point [Harari] |
20663 | If a group is bound by gossip, the natural size is 150 people [Harari] |
20677 | Since 1500 human population has increased fourteenfold, and consumption far more [Harari] |
20688 | People 300m tons; domesticated animals 700m tons; larger wild animals 100m tons [Harari] |
20674 | The Nazi aim was to encourage progressive evolution, and avoid degeneration [Harari] |
20679 | We stabilise societies with dogmas, either of dubious science, or of non-scientific values [Harari] |
20690 | The state fostered individualism, to break the power of family and community [Harari] |
20689 | In 1750 losing your family and community meant death [Harari] |
20681 | The sacred command of capitalism is that profits must be used to increase production [Harari] |
20682 | The main rule of capitalism is that all other goods depend on economic growth [Harari] |
20683 | The progress of capitalism depends entirely on the new discoveries and gadgets of science [Harari] |
20687 | In capitalism the rich invest, and the rest of us go shopping [Harari] |
20685 | No market is free of political bias, and markets need protection of their freedoms [Harari] |
20693 | Freedom may work against us, as individuals can choose to leave, and make fewer commitments [Harari] |
20691 | Real peace is the implausibility of war (and not just its absence) [Harari] |
20684 | Financing is increasingly through credit rather than taxes; people prefer investing to taxation [Harari] |
20675 | The more you know about history, the harder it becomes to explain [Harari] |
20676 | History teaches us that the present was not inevitable, and shows us the possibilities [Harari] |
20671 | In order to explain both order and evil, a single evil creator is best, but no one favours that [Harari] |
20664 | Animism is belief that every part of nature is aware and feeling, and can communicate [Harari] |
20666 | Most polytheist recognise one supreme power or law, behind the various gods [Harari] |
20667 | Polytheism is open-minded, and rarely persecutes opponents [Harari] |
20665 | Mythologies are usual contracts with the gods, exchanging devotion for control of nature [Harari] |
20669 | Dualist religions see everything as a battleground of good and evil forces [Harari] |
20670 | Dualist religions say the cosmos is a battleground, so can’t explain its order [Harari] |
20673 | Manichaeans and Gnostics: good made spirit, evil made flesh [Harari] |
20668 | Monotheism appeared in Egypt in 1350 BCE, when the god Aten was declared supreme [Harari] |