Envío express desde $5  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Self-Verifying Theories (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
Encuadernación
Tapa Blanda
Dimensiones
0 x 0 cm
ISBN13
9786131157271

Self-Verifying Theories (en Inglés)

Libro Nuevo Importado
Envío: 26 a 33 días háb.
$ 287.24$ 157.98
-45%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 10 unidades

$ 157.98
Llega entre el 15 Oct y el 28 Oct a Quito, Pichincha. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Self-Verifying Theories (en Inglés)"

High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! Self-verifying theories are consistent first-order systems of arithmetic much weaker than Peano arithmetic that are capable of proving their own consistency. Dan Willard was the first to investigate their properties, and he has described a family of such systems. According to Gdel's incompleteness theorem, these systems cannot contain the theory of Peano arithmetic, but they can nonetheless contain strong theorems; for instance there are self-verifying systems capable of proving the consistency of Peano arithmetic. In outline, the key to Willard's construction of his system is to formalise enough of the Gdel machinery to talk about provability internally without being able to formalise diagonalisation. Diagonalisation depends upon being able to prove that multiplication is a total function (and in the earlier versions of the result, addition also).

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes