Proof theory (nonfiction)
Proof 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.
Some of the major areas of proof theory include structural proof theory, ordinal analysis, provability logic, reverse mathematics, proof mining, automated theorem proving, and proof complexity.
Much research also focuses on applications in computer science, linguistics, and philosophy.
In the News
Women geometers first to ask geometry how it feels.
Fantasy Voronoi diagram color commentators discussing recent scores from hotly contested Voronoi diagrams.
Crime-fighter The Sigil's seen wearing new sigil. "Naturally I am pleased," said Georg Cantor.
Artifically intelligent manuscript of Euclid's Elements needs to upgrade itself, has sketch on back of envelope it wishes to show you.
John Venn computes a Demon-repelling diagram for Roger Zelazny and William Blake.
Benoit Mandelbrot (nonfiction) survived by Benoit Mandelbrot.
Fiction cross-references
Nonfiction cross-reference
External links:
- Proof theory @ Wikipedia