✦ LIBER ✦

Remark on Nicod's Reduction of Principia Mathematica

✍ Scribed by B. A. Bernstein

Book ID: 124940460
Publisher: Association for Symbolic Logic
Year: 1937
Tongue: English
Weight: 227 KB
Volume: 2
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2268282

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Formally Undecidable Propositions Of

On Formally Undecidable Propositions Of Principia Mathematica

✍ Godel, Kurt 📂 Fiction 📅 0 🌐 English ⚖ 327 KB

The Resolution of Russell’s Paradox in P

The Resolution of Russell’s Paradox in Principia Mathematica

✍ Bernard Linsky 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 106 KB

A Note on the Redundant Axiom of Princip

A Note on the Redundant Axiom of Principia Mathematica

✍ Peter Nidditch 📂 Article 📅 1960 🏛 Oxford University Press 🌐 English ⚖ 211 KB

ON FORMALLY UNDECIDABLE PROPOSITIONS OF

ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS

📂 Article 📅 1963 🏛 John Wiley and Sons ⚖ 143 KB

On Formally Undecidable Propositions of

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

✍ Kurt Gödel 📂 Library 📅 1992 🏛 Dover Publications 🌐 English ⚖ 657 KB

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduct

Note on `$\mathbf{\supset}$and `$\mathbf

Note on `$\mathbf{\supset}$and `$\mathbf{\vdash}$' in Whitehead and Russell's Principia Mathematica

✍ H. N. Lee 📂 Article 📅 1958 🏛 Oxford University Press 🌐 English ⚖ 453 KB