Ana Sayfa
Matematikçiler
=> Maria Agnesi
=> Peter Barlow
=> Charles Babbage
=> Abraham de Moivre
=> Euclid of Alexandria
=> Pierre de Fermat
=> Leonardo Pisano Fibonacci
=> Fourier, (Jean Baptiste) Joseph, Baron
=> Karl Friedrich Gauss
=> Hippasus of Metapontum
=> John Napier
=> Kaprekar's Constant
=> Joseph Louis Lagrange
=> Louis Victor Pierre Raymond duc de Broglie
=> Paul Adrien Maurice Dirac
=> François Viète
=> Johann Bernoulli
=> Sir William Rowan Hamilton
=> Marin Mersenne
=> Charles Augustin de Coulomb
=> Florence Nightingale
=> John Wallis
=> Richard Phillips Feynman
=> Claude Elwood Shannon
=> Jacob (Jacques) Bernoulli
=> Howard Hathaway Aiken
=> August Ferdinand Möbius
=> Ahmes
=> Hipparchus of Rhodes
=> William Thomson (Lord Kelvin)
=> Zeno of Elea
=> Jules Henri Poincaré
=> Edmond Halley
=> Sir Christopher Wren
=> Sofia Vasilyevna Kovalevskaya
=> Grace Brewster Murray Hopper
=> Diophantus of Alexandria
=> Girolamo Cardano
=> Stephen William Hawkingı
=> Edwin Powell Hubble
=> Siméon Denis Poisson
=> Paul Erdös
=> Alan Mathison Turing
=> Augustin Louis Cauchy
=> Benjamin Banneker
=> Niels Henrik Abel
=> Werner Karl Heisenberg
=> Albrecht Dürer
=> Aristarchus of Samos
=> Christiaan Huygens
=> Augusta Ada King, countess of Lovelace
=> Omar Khayyam
=> Herman Hollerith
=> Evariste Galois
=> Bertrand Arthur William Russell
=> Erwin Rudolf Josef Alexander Schrödinger
=> Apollonius of Perga
=> Maurits Cornelius Escher
=> Andrew John Wiles
=> Georg Friedrich Bernhard Riemann
=> Tycho Brahe
=> Max Karl Ernst Ludwig Planck
=> Joseph-Louis Lagrange
=> George Boole
=> Pierre-Simon Laplace
=> Georg Ferdinand Ludwig Philipp Cantor
=> Jean Baptiste Joseph Fourier
=> Marie-Sophie Germain
=> Srinivasa Aiyangar Ramanujan
=> Benoit Mandelbrot
=> Emmy Amalie Noether
=> David Hilbert
=> Robert Hooke
=> Maria Gaëtana Agnesi
=> John Forbes Nash
=> Albert Einstein
=> Sir Isaac Newton
=> Pythagoras of Samos
=> Galileo Galilei
=> Archimedes of Syracuse
=> Blaise Pascal
=> Nicolaus Copernicus
=> Aristotle
=> René Descartes
=> Leonhard Euler
=> Johann Carl Friedrich Gauss
=> Johannes Kepler
=> Plato
=> Niels Henrik David Bohr
=> Claudius Ptolemy
=> Gottfried Wilhelm von Leibniz
=> Leonardo da Vinci
=> Eratosthenes of Cyrene
=> Kurt Gödel
=> Thales of Miletus
=> John Maynard Keynes
=> James Clerk Maxwell
=> Robert Boyle
=> John von Neumann
=> Georg Simon Ohm
=> Norbert Wiener
=> Democritus of Abdera
=> Daniel Bernoulli
Makaleler
Matematik Seçkileri
Fraktallar
Paradokslar
Sayılar Teorisi
Ziyaretçi defteri
 

Bertrand Arthur William Russell

Born: 18 May 1872 in Ravenscroft, Trelleck, Monmouthshire, Wales
Died: 2 Feb 1970 in Penrhyndeudraeth, Merioneth, Wales


Bertrand Russell published a large number of books on logic, the theory of knowledge, and many other topics. He is one of the most important logicians of the 20th Century.

Russell's Mathematical Contributions

Over a long and varied career, Bertrand Russell made ground-breaking contributions to the foundations of mathematics and to the development of contemporary formal logic, as well as to analytic philosophy. 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. Along with Kurt Gödel, he is usually credited with being one of the two most important logicians of the twentieth century.

Russell discovered the paradox which bears his name in May 1901, while working on his Principles of Mathematics (1903). The paradox arose in connection with the set of all sets which are not members of themselves. Such a set, if it exists, will be a member of itself if and only if it is not a member of itself. The significance of the paradox follows since, in classical logic, all sentences are entailed by a contradiction. In the eyes of many mathematicians (including David Hilbert and Luitzen Brouwer) it therefore appeared that no proof could be trusted once it was discovered that the logic apparently underlying all of mathematics was contradictory. A large amount of work throughout the early part of this century in logic, set theory, and the philosophy and foundations of mathematics was thus prompted.

Russell's paradox arises as a result of naive set theory's so-called unrestricted comprehension (or abstraction) axiom. Originally introduced by Georg Cantor, the axiom states that any predicate expression, P(x), which contains x as a free variable, will determine a set whose members are exactly those objects which satisfy P(x). The axiom gives form to the intuition that any coherent condition may be used to determine a set (or class). Most attempts at resolving Russell's paradox have therefore concentrated on various ways of restricting or abandoning this axiom.

Russell's own response to the paradox came with the introduction of his theory of types. His basic idea was that reference to troublesome sets (such as the set of all sets which are not members of themselves) could be avoided by arranging all sentences into a hierarchy (beginning with sentences about individuals at the lowest level, sentences about sets of individuals at the next lowest level, sentences about sets of sets of individuals at the next lowest level, etc.). Using the vicious circle principle also adopted by Henri Poincaré, together with his so-called "no class" theory of classes, Russell was then able to explain why the unrestricted comprehension axiom fails: propositional functions, such as the function "x is a set", should not be applied to themselves since self-application would involve a vicious circle. On this view, it follows that it is possible to refer to a collection of objects for which a given condition (or predicate) holds only if they are all at the same level or of the same "type".

Although first introduced by Russell in 1903 in the Principles, his theory of types finds its mature expression in his 1908 article Mathematical Logic as Based on the Theory of Types and in the monumental work he co-authored with Alfred North Whitehead, Principia Mathematica (1910, 1912, 1913). Thus, in its details, the theory admits of two versions, the "simple theory" and the "ramified theory". Both versions of the theory later came under attack. For some, they were too weak since they failed to resolve all of the known paradoxes. For others, they were too strong since they disallowed many mathematical definitions which, although consistent, violated the vicious circle principle. Russell's response to the second of these objections was to introduce, within the ramified theory, the axiom of reducibility. Although the axiom successfully lessened the vicious circle principle's scope of application, many claimed that it was simply too ad hoc to be justified philosophically.

Of equal significance during this same period was Russell's defence of logicism, the theory that mathematics was in some important sense reducible to logic. First defended in his Principles, and later in more detail in Principia Mathematica, Russell's logicism consisted of two main theses. The first is that all mathematical truths can be translated into logical truths or, in other words, that the vocabulary of mathematics constitutes a proper subset of that of logic. The second is that all mathematical proofs can be recast as logical proofs or, in other words, that the theorems of mathematics constitute a proper subset of those of logic.

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. Thus the number 1 would be identified with the class of all unit classes, the number 2 with the class of all two-membered classes, and so on. Statements such as "there are two books" would be recast as "there is a book, x, and there is a book, y, and x is not identical to y". It followed that number-theoretic operations could be explained in terms of set-theoretic operations such as intersection, union, and the like. In Principia Mathematica, Whitehead and Russell were able to provide detailed derivations of many major theorems in set theory, finite and transfinite arithmetic, and elementary measure theory. A fourth volume on geometry was planned but never completed.

In much the same way that Russell wanted to use logic to clarify issues in the foundations of mathematics, he also wanted to use logic to clarify issues in philosophy. As one of the founders of "analytic philosophy", Russell is remembered for his work using first-order logic to show how a broad range of denoting phrases could be recast in terms of predicates and quantified variables. Thus, he is also remembered for his emphasis upon the importance of logical form for the resolution of many related philosophical problems. Here, as in mathematics, it was Russell's hope that by applying logical machinery and insights one would be able to resolve otherwise intractable difficulties.

Russell's Life and Public Influence

Russell was born the grandson of Lord John Russell, who had twice served as Prime Minister under Queen Victoria. Following the death of his mother (in 1874) and of his father (in 1876), Russell and his brother went to live with their grandparents. (Although Russell's father had granted custody of Russell and his brother to two atheists, Russell's grandparents had little difficulty in getting his will overturned.) Following the death of his grandfather (in 1878), Russell was raised by his grandmother, Lady Russell. Educated at first privately, and later at Trinity College, Cambridge, Russell obtained first class degrees both in mathematics and in the moral sciences.

Although elected to the Royal Society in 1908, Russell's career at Trinity appeared to come to an end in 1916 when he was convicted and fined for anti-war activities. He was dismissed from the College as a result of the conviction. (The details of the dismissal are recounted in Bertrand Russell and Trinity (1942) by G H Hardy.) Two years later Russell was convicted a second time. This time he spent six months in prison. It was while in prison that he wrote his well-received Introduction to Mathematical Philosophy (1919). He did not return to Trinity until 1944. Married four times and notorious for his many affairs, Russell also ran unsuccessfully for Parliament, in 1907, 1922, and 1923. Together with his second wife, he opened and ran an experimental school during the late 1920s and early 1930s. He became the third Earl Russell upon the death of his brother in 1931.

While teaching in the United States in the late 1930s, Russell was offered a teaching appointment at City College, New York. The appointment was revoked following a large number of public protests and a judicial decision, in 1940, which stated that he was morally unfit to teach at the College. Nine years later he was awarded the Order of Merit. He received the Nobel Prize for Literature in 1950.

During the 1950s and 1960s, Russell became something of an inspiration to large numbers of idealistic youth as a result of his continued anti-war and anti-nuclear protests. Together with Albert Einstein, he released the Russell-Einstein Manifesto in 1955, calling for the curtailment of nuclear weapons. In 1957, he was a prime organizer of the first Pugwash Conference, which brought together scientists concerned about the proliferation of nuclear weapons. He became the founding president of the Campaign for Nuclear Disarmament in 1958 and was once again imprisoned, this time in connection with anti-nuclear protests, in 1961. Upon appeal, his two-month prison sentence was reduced to one week in the prison hospital. He remained a prominent public figure until his death nine years later at the age of 97.

 

Article by: A D Irvine, irvine@plato.stanford.edu or irvine@unixg.ubc.ca

December 1996

 

Bugün 60 ziyaretçi (66 klik) kişi burdaydı!
Bu web sitesi ücretsiz olarak Bedava-Sitem.com ile oluşturulmuştur. Siz de kendi web sitenizi kurmak ister misiniz?
Ücretsiz kaydol