36 ideas
| 6675 | The heart has its reasons of which reason knows nothing [Pascal] |
| 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] |
| 22011 | The first principles of truth are not rational, but are known by the heart [Pascal] |
| 6681 | We only want to know things so that we can talk about them [Pascal] |
| 6676 | Painting makes us admire things of which we do not admire the originals [Pascal] |
| 6680 | It is a funny sort of justice whose limits are marked by a river [Pascal] |
| 6677 | Imagination creates beauty, justice and happiness, which is the supreme good [Pascal] |
| 6678 | We live for the past or future, and so are never happy in the present [Pascal] |
| 20732 | If man considers himself as lost and imprisoned in the universe, he will be terrified [Pascal] |
| 6682 | Majority opinion is visible and authoritative, although not very clever [Pascal] |
| 6679 | It is not good to be too free [Pascal] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| 7455 | Pascal knows you can't force belief, but you can make it much more probable [Pascal, by Hacking] |
| 7457 | Pascal is right, but relies on the unsupported claim of a half as the chance of God's existence [Hacking on Pascal] |
| 7456 | The libertine would lose a life of enjoyable sin if he chose the cloisters [Hacking on Pascal] |
| 6684 | If you win the wager on God's existence you win everything, if you lose you lose nothing [Pascal] |