Gódel (para todos) /

Bibliographic Details
Main Author: Martínez, Guillermo, 1962-
Other Authors: Piñeiro, Gustavo, 1960-
Format: Book
Language:Spanish
Published: Buenos Aires : Seix Barral, 2015.
Series:Los tres mundos
Subjects:
Table of Contents:
  • CAPITULO UNO Un panorama general.
  • CAPITULO DOS Hilbert y el problema de los fundamentos.
  • CAPITULO TRES El lenguaje para la aritmética y la definición de verdad.
  • CAPITULO CUATRO El Teorema de Gödel fuero de la matemática.
  • CAPITULO CINCO La versión semántica del Teorema de Incompletitud.
  • CAPITULO SEIS La versión general (sintáctica) del Teorema de Incompletitud.
  • CAPITULO SIETE Hay una concatenación expresable en la aritmética.
  • CAPITULO OCHO Toda propiedad recursiva es expresable con la concatenación.
  • CAPITULO NUEVE Incompletitud en un contexto general y abstracto.