David hilbert research paper

Mark Rohlena
Director
Family Stability and Poverty, Food/Nutrition/Agriculture, Civil Rights/Race, Native American Concerns
202-541-3134  mrohlena@

Meghan Goodwin
Policy Advisor
Economy/Trade, Housing, Border Issues, Healthcare/Mental Health, Social Services in Educational Settings
202-541-3445 mgoodwin@

Michael O'Rourke
Policy Advisor
Criminal/Restorative Justice, Death Penalty, Labor/Work, Welfare Programs, Human Trafficking, Gun Violence
202-541-3189   morourke@

Frege's construction was flawed. Russell discovered that Basic Law V is inconsistent (this is Russell's paradox ). Frege abandoned his logicist program soon after this, but it was continued by Russell and Whitehead . They attributed the paradox to "vicious circularity" and built up what they called ramified type theory to deal with it. In this system, they were eventually able to build up much of modern mathematics but in an altered, and excessively complex form (for example, there were different natural numbers in each type, and there were infinitely many types). They also had to make several compromises in order to develop so much of mathematics, such as an " axiom of reducibility ". Even Russell said that this axiom did not really belong to logic.

David hilbert research paper

david hilbert research paper

Media:

david hilbert research paperdavid hilbert research paperdavid hilbert research paperdavid hilbert research paper