Search for "Proof theory" in article titles:

1. Proof theory: A branch of mathematical logic which deals with the concept of a proof in mathematics and with the applications of this concept in various branches of science and technology. In the wide meaning of the term, a proof is a ... (Mathematics) [100%] 2023-07-22
2. Proof theory: Proof theory is a major branch of mathematical logic and theoretical computer science that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists ... (Branch of mathematical logic) [100%] 2023-09-14 [Proof theory] [Mathematical logic]...
3. Proof theory: Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists ... (Branch of mathematical logic) [100%] 2024-08-22 [Proof theory] [Mathematical logic]...
4. Proof Theory: Proof theory is not an esoteric technical subject that was invented to support a formalist doctrine in the philosophy of mathematics; rather, it has been developed as an attempt to analyze aspects of mathematical experience and to isolate, possibly overcome ... (Philosophy) [100%] 2021-12-24
5. Structural proof theory: In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. When all the theorems of a logic formalised ... (Philosophy) [81%] 2023-11-30 [Proof theory]
6. Structural proof theory: In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. When all the theorems of a logic formalised ... [81%] 2022-10-09 [Proof theory]
7. The Development of Proof Theory: The development of proof theory can be naturally divided into: the prehistory of the notion of proof in ancient logic and mathematics; the discovery by Frege that mathematical proofs, and not only the propositions of mathematics, can (and should) be ... (Philosophy) [63%] 2021-12-24