Richard Zach
Biographic Data
| ID | 1303948 |
|---|---|
| NAME | Richard Zach |
| GIVEN NAMES | Richard |
| FAMILY NAME | Zach |
| SIGNATURE | ZACH R |
| AFFILIATIONS | University of Calgary |
| ORCID | 0000-0003-1633-8324 |
| VERIFIED | Yes |
| TOTAL WORKS | 5 |
| TOTAL CITATIONS | 3 |
| AUTHOR COUNT | 5 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 1992 |
| LATEST PUBLICATION YEAR | 2021 |
| H-INDEX | 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 works) · Axiom (3 works) · Calculus (dental) (3 works) · Computer Science (3 works) · Discrete mathematics (3 works) · Algebra over a field (2 works) · Consistency (knowledge bases) (2 works) · Epistemology (2 works) · Logic, programming, and type systems (2 works) · Mathematical proof (2 works)