1. Proof theoryProof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
Read “Proof theory” on English Wikipedia
Read “証明論” on Japanese Wikipedia
Read “Proof theory” on DBpedia
Read “Proof theory” on English Wikipedia
Read “証明論” on Japanese Wikipedia
Read “Proof theory” on DBpedia
Discussions
Log in to talk about this word.