| |
| | Russell |
 | | His contributions relating to mathematics include his discovery of Russell's paradox, his defence of logicism (the view that mathematics is, in some significant sense, reducible to formal logic), his introduction of the theory of types, and his refining and popularizing of the first-order predicate calculus. |
 | | Russell's response to the second of these objections was to introduce, within the ramified theory, the axiom of reducibility. |
 | | Like Gottlob Frege, Russell's basic idea for defending logicism was that numbers may be identified with classes of classes and that number-theoretic statements may be explained in terms of quantifiers and identity. |
| www-groups.dcs.st-and.ac.uk /~history/Mathematicians/Russell.html (1474 words) |
|