Sergio Galvan
Biographic Data
| ID | 4486649 |
|---|---|
| NAME | Sergio Galvan |
| GIVEN NAMES | Sergio |
| FAMILY NAME | Galvan |
| SIGNATURE | GALVAN S |
| AFFILIATIONS | Emeritus Professor of Logic, Catholic University of Milan |
| ORCID | 0000-0001-8552-1099 |
| VERIFIED | No |
| TOTAL WORKS | 2 |
| TOTAL CITATIONS | 0 |
| AUTHOR COUNT | 2 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2021 |
| LATEST PUBLICATION YEAR | 2021 |
| H-INDEX | 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
No prominent works on this page.
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 works) · Advanced Algebra and Logic (1 work) · Algebra over a field (1 work) · Analytic proof (1 work) · Axiom (1 work) · Axiomatic system (1 work) · Calculus (dental) (1 work) · Constructive proof (1 work) · Curry–Howard correspondence (1 work) · Cut-elimination theorem (1 work)