Name: Proofs and Computations Hardback (Perspectives in Logic) (en Inglés)
Price: 135010.00 CLP
Availability: InStock
Author: Schwichtenberg, Helmut ; Wainer, Stanley S.
ISBN: 9780521517690

portada Proofs and Computations Hardback (Perspectives in Logic) (en Inglés)

Formato

Libro Físico

Autor

Helmut Schwichtenberg

Stanley S. Wainer

Editorial

Cambridge University Press

Año

2011

Idioma

Inglés

N° páginas

480

Encuadernación

Tapa Dura

Dimensiones

23.6 x 16.0 x 3.0 cm

Peso

0.86 kg.

ISBN

0521517699

ISBN13

9780521517690

N° edición

Categorías

Lógica matemática

Proofs and Computations Hardback (Perspectives in Logic) (en Inglés)

Helmut Schwichtenberg (Autor) · Stanley S. Wainer (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo

$ 135.010

$ 207.700

Ahorras: $ 72.690

35% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 23 de Julio y el Martes 30 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Proofs and Computations Hardback (Perspectives in Logic) (en Inglés)"

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic.