Changes

Jump to: navigation, search

Theory/spring2020

24 bytes removed, 15:50, 3 February 2020
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 ==
Bureaucrat, progTeam, rlowe, administrator
2,150
edits

Navigation menu