Search results
We did not find results for: proof theory.
Check spelling or type a new query.
We did not find results for: proof theory.
Check spelling or type a new query.
Branch of mathematical logic
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, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logica... Wikipedia