Bureaucrat, progTeam, rlowe, administrator
2,150
edits
Changes
→Readings
## [https://archive.org/details/PrincipiaMathematicaVol3 Volume 3]
# [http://www.jamesrmeyer.com/pdfs/godel-original-english.pdf On Formally Undecidable Propositions of Principia Mathematica]. Kurt Godel 1931. Translated by Meltzer.
## [http://researchweb.watson.ibmhirzels.com/people/h/hirzelmartin/papers/canon00-goedel.pdf Alternate translation of Sections 1 and 2]. Kurt Godel 1931. Translated by Martin Hirzel.
== Homework ==
