Richard Zach
Datos Biográficos
| ID | 1303948 |
|---|---|
| NOMBRE | Richard Zach |
| NOMBRES | Richard |
| APELLIDO | Zach |
| FIRMA | ZACH R |
| AFILIACIONES | University of Calgary |
| ORCID | 0000-0003-1633-8324 |
| VERIFICADO | Sí |
| TOTAL DE OBRAS | 5 |
| TOTAL DE CITAS | 3 |
| OBRAS COMO AUTOR | 5 |
| OBRAS COMO EDITOR | 0 |
| PRIMER AÑO DE PUBLICACIÓN | 1992 |
| AÑO MÁS RECIENTE DE PUBLICACIÓN | 2021 |
| ÍNDICE H | 1 |
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
Carnap’s early metatheory
The Practice of Finitism
Art/ificial Intelligence
Art/ificial Intelligence
The Practice of Finitism
Carnap’s early metatheory
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 (4 obras) · Axiom (3 obras) · Calculus (dental) (3 obras) · Computer Science (3 obras) · Discrete mathematics (3 obras) · Algebra over a field (2 obras) · Consistency (knowledge bases) (2 obras) · Epistemology (2 obras) · Logic, programming, and type systems (2 obras) · Mathematical proof (2 obras)