Teoría de la Demostración

Centrándose en la teoría de la prueba de tipo Gentzen, este volumen presenta una visión detallada de los trabajos creativos del autor Gaisi Takeuti y otros lógicos del siglo XX. El texto explora las aplicaciones de la teoría de la prueba a la lógica, así como a otras áreas de las matemáticas. Adecuado para estudiantes universitarios avanzados y graduados de matemáticas, esta monografía, que lleva mucho tiempo agotada, constituye la piedra angular de cualquier biblioteca de lógica matemática y temas relacionados.
El tratamiento en tres partes comienza con una exploración de los sistemas de primer orden, incluyendo un tratamiento del cálculo de predicados que implica el teorema de eliminación de corte de Gentzen y la teoría de los números naturales en términos del teorema de incompletitud de G del y la prueba de consistencia de Gentzen. La segunda parte, que considera sistemas de segundo orden y de orden finito, cubre la teoría simple de tipos y la lógica infinitaria. Los capítulos finales abordan los problemas de consistencia con un examen de las pruebas de consistencia y sus aplicaciones.

Autor: Gaisi Takeuti
Editorial: Dover Publications
Publicado: 20/02/2013
Páginas: 490
Tipo de encuadernación: Tapa blanda
Peso: 1.40 libras
Tamaño: 8.90h x 5.90w x 1.10d
ISBN13: 9780486490731
ISBN10: 0486490734
Categorías BISAC:
- Matemáticas | Lógica

Este título no es retornable