Sergio Galvan
Datos Biográficos
| ID | 4486649 |
|---|---|
| NOMBRE | Sergio Galvan |
| NOMBRES | Sergio |
| APELLIDO | Galvan |
| FIRMA | GALVAN S |
| AFILIACIONES | Emeritus Professor of Logic, Catholic University of Milan |
| ORCID | 0000-0001-8552-1099 |
| VERIFICADO | No |
| TOTAL DE OBRAS | 2 |
| TOTAL DE CITAS | 0 |
| TOTAL COMO AUTOR | 2 |
| TOTAL COMO EDITOR | 0 |
| PRIMER AÑO DE PUBLICACIÓN | 2021 |
| AÑO MÁS RECIENTE DE PUBLICACIÓN | 2021 |
| ÍNDICE H | 0 |
An Introduction to Proof Theory
Proof theory is a central area of mathematical logic of special interest to philosophy. It has its roots in the foundational debate of the 1920s, in particular, in Hilbert’s program in the philosophy of mathematics, which called for a formalization of mathematics, as well as for a proof, using philosophically unproblematic, “finitary” means, that these systems are free from contradiction. Structural proof theory investigates the structure and pro…
Introduction to Proof Theory
Sin obras prominentes en esta página.
An Introduction to Proof Theory
Proof theory is a central area of mathematical logic of special interest to philosophy. It has its roots in the foundational debate of the 1920s, in particular, in Hilbert’s program in the philosophy of mathematics, which called for a formalization of mathematics, as well as for a proof, using philosophically unproblematic, “finitary” means, that these systems are free from contradiction. Structural proof theory investigates the structure and pro…
Introduction to Proof Theory
Mathematics (2 obras) · Advanced Algebra and Logic (1 obra) · Algebra over a field (1 obra) · Analytic proof (1 obra) · Axiom (1 obra) · Axiomatic system (1 obra) · Calculus (dental) (1 obra) · Constructive proof (1 obra) · Curry–Howard correspondence (1 obra) · Cut-elimination theorem (1 obra)