On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

by Kurt Gödel, Kurt Gödel

80 pages· 2012· ISBN 9780486158402
About
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. Introduction by R. B. Braithwaite.

Discuss On Formally Undecidable Propositions of Principia Mathematica and Related Systems with other readers

Join or start a book club for On Formally Undecidable Propositions of Principia Mathematica and Related Systems on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for On Formally Undecidable Propositions of Principia Mathematica and Related Systems?

Sign up free on Readfeed, then browse public clubs or start your own club with On Formally Undecidable Propositions of Principia Mathematica and Related Systems as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss On Formally Undecidable Propositions of Principia Mathematica and Related Systems with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about On Formally Undecidable Propositions of Principia Mathematica and Related Systems with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.