Back to Results
First PageMeta Content
Principia Mathematica / Axiom / On Formally Undecidable Propositions of Principia Mathematica and Related Systems / Kurt Gödel / Theorem / Rule of inference / Peano axioms / Metamathematics / Formal proof / Logic / Mathematics / Mathematical logic


On Formally Undecidable Propositions of Principia Mathematica
Add to Reading List

Document Date: 2013-09-21 05:15:44

Open Document

File Size: 177,57 KB

Share Result on Facebook

City

Leipzig / /

Company

Russell / /

Facility

B. MELTZER University of Edinburgh January / University of Cambridge / /

IndustryTerm

deductive systems / /

Organization

University of Cambridge / University of Edinburgh / Vienna Academy of Sciences / /

Person

CHRISTOPHER FERNAU / BRAITHWAITE TO CHRISTOPHER FERNAU / KURT GÖDEL / /

Position

Professor of Moral Philosophy / Prime Minister / Professor / system PM / mathematician / /

Product

Principia Mathematica / /

ProgrammingLanguage

Mathematica / /

SocialTag