LYCOS RETRIEVER
Bertrand Russell
built 641 days ago
In mathematical logic, Russell established Russell's paradox, which exposed an inconsistency in naive set theory and led directly to the creation of modern axiomatic set theory. It ... crippled Gottlob Frege's project of reducing mathematics to logic. Nonetheless, Russell defended logicism (the view that mathematics is in some important sense reducible to logic) and attempted this project himself, along with Alfred North Whitehead, in the Principia Mathematica, a clean axiomatic system on which all of mathematics can be built, but which was never fully completed. Although it did not fall prey to the paradoxes in Frege's approach, it was later proven by Kurt G�del that—for exactly that reason—neither Principia Mathematica nor any other consistent logical system could prove all mathematical truths, and hence Russell's project was necessarily incomplete.
Source: