Name: Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence (en Francés)
Price: 66740.00 CLP
Availability: InStock
Author: Galvan, Sergio ; Mancosu, Paolo ; Zach, Richard
ISBN: 9782711630912

portada Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence (en Francés)

Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence (en Francés)

Formato

Libro Físico

Autor

Paolo Mancosu

Sergio Galvan

Richard Zach

Editorial

Librarie Philosophique J. Vrin

Idioma

Francés

N° páginas

588

Encuadernación

Tapa Blanda

Peso

0.34 kg.

ISBN13

9782711630912

Categorías

Filosofía: epistemología y teoría del conocimiento
Filosofía: lógica

Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence (en Francés)

Paolo Mancosu (Autor) · Sergio Galvan (Autor) · Richard Zach (Autor) · Librarie Philosophique J. Vrin · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 133.480$ 66.740

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 2 unidades

$ 66.740

Llega entre el 04 Ago y el 12 Ago a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence (en Francés)"

Cet ouvrage offre une introduction accessible a la theorie de la demonstration: il donne les details des preuves et comporte de nombreux exemples et exercices pour faciliter la comprehension des lecteurs. Il est egalement concu pour servir d'aide a la lecture des articles fondateurs de Gerhard Gentzen. L'ouvrage introduit egalement aux trois principaux formalismes en usage: l'approche axiomatique des preuves, la deduction naturelle et le calcul des sequents. Il donne une demonstration claire et detaillee des resultats fondamentaux du domaine: traduction de l'arithmetique classique vers l'arithmetique intuitionniste, elimination des coupures, theoreme de normalisation et conduit ensuite pas a pas le lecteur vers l'expose de la celebre preuve de coherence de Gentzen pour l'arithmetique de Peano du premier ordre. Il comble ainsi une importante lacune editoriale en presentant a la fois la theorie structurelle et la theorie ordinale de la demonstration.