Repository logo
  • Log In
Repository logoRepository logo
  • Communities & Collections
  • Advanced Search
  • Statistics
  • Log In
  1. Home
  2. IAS Libraries
  3. Mathematics-Natural Sciences Library
  4. On undecidable propositions of formal mathematics systems
 
  • Details
Options

On undecidable propositions of formal mathematics systems

Date
1934-05
Author(s)
Gödel, Kurt
Editor(s)
Klein, SC
Rosser, J. Barkley
URI
https://albert.ias.edu/20.500.12111/7996
Abstract
Notes on lectures by Kurt Godel, February-May 1934.
Subjects
Recursive functions
Mathematics -- Philosophy
Description
Original: mimeographed lecture notes, held in MNS Library collection.
File(s)
Thumbnail Image
Name

Godel_K_1934_OnUndecidablePropositionsOfFormalMathematicsSystems.pdf

Size

1.29 MB

Format

Adobe PDF

View/Download
Views
92
Last Month
3
Acquisition Date
Dec 6, 2023
View Details
Downloads
73
Last Week
8
Last Month
14
Acquisition Date
Dec 6, 2023
View Details
Other Versions via Google Scholar
  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback
  • Take Down Request
  • About