Cargando…

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Mostowski, Andrzej
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Elsevier Science, 1952.
Colección:Studies in logic and the foundations of mathematics ; v. 10.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • Auxiliary notions and theorems of arithmetic
  • System (S) and its syntax
  • Arithmetical theorems proable in (S)
  • Semantics of (S)
  • Recursivity and definability of functions and relations
  • Proofs of incompleteness theorems.