Log In
Username
Password
Log in
Communities & Collections
Advanced Search
Statistics
Log In
Username
Password
Log in
Home
IAS Libraries
Mathematics-Natural Sciences Library
On undecidable propositions of formal mathematics systems
Details
Export
Statistics
Options
Show all metadata (technical view)
On undecidable propositions of formal mathematics systems
Date
1934-05
Author(s)
Gödel, Kurt
Editor(s)
Klein, SC
Rosser, J. Barkley
URI
https://hdl.handle.net/20.500.12111/7996
Abstract
Notes on lectures by Kurt Godel, February-May 1934.
Show more
Subjects
Recursive functions
Mathematics -- Philosophy
Description
Original: mimeographed lecture notes, held in MNS Library collection.
File(s)
Name
Godel_K_1934_OnUndecidablePropositionsOfFormalMathematicsSystems.pdf
Size
1.29 MB
Format
Adobe PDF
View/Download
Views
73
Last Month
2
Acquisition Date
May 29, 2023
View Details
Downloads
35
Last Month
7
Acquisition Date
May 29, 2023
View Details
Other Versions via Google Scholar
View Details