On undecidable propositions of formal mathematics systems

Date
1934-05
Author(s)
Gödel, Kurt
Editor(s)
Klein, SC
Rosser, J. Barkley
URI
Abstract
Notes on lectures by Kurt Godel, February-May 1934.
Subjects
Description
Original: mimeographed lecture notes, held in MNS Library collection.
File(s)
Loading...
Thumbnail Image
Name

Godel_K_1934_OnUndecidablePropositionsOfFormalMathematicsSystems.pdf

Size

1.29 MB

Format

Adobe PDF

Checksum (MD5)

ca82a4153f942687566feccf00ec4629