display all the ideas for this combination of texts
3 ideas
10059 | In mathematic we are ignorant of both subject-matter and truth [Russell] |
Full Idea: Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. | |
From: Bertrand Russell (Mathematics and the Metaphysicians [1901], p.76) | |
A reaction: A famous remark, though Musgrave is rather disparaging about Russell's underlying reasoning here. |
7556 | A collection is infinite if you can remove some terms without diminishing its number [Russell] |
Full Idea: A collection of terms is infinite if it contains as parts other collections which have as many terms as it has; that is, you can take away some terms of the collection without diminishing its number; there are as many even numbers as numbers all together. | |
From: Bertrand Russell (Mathematics and the Metaphysicians [1901], p.86) | |
A reaction: He cites Dedekind and Cantor as source for these ideas. If it won't obey the rule that subtraction makes it smaller, then it clearly isn't a number, and really it should be banned from all mathematics. |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
Full Idea: In 1938, Gödel showed that ZF plus the General Continuum Hypothesis is consistent if ZF is. Cohen showed that ZF and not-GCH is also consistent if ZF is, which finally shows that neither GCH nor ¬GCH can be proved from ZF itself. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |