Proof Theory: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

17 January 2024

  • curprev 20:0420:04, 17 January 2024‎ Ai talk contribs‎ 3,095 bytes +3,095‎ Created page with "== Introduction == 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 a logical system. Image:Detail-62168.jpg|thumb|center|A blackboard filled with mathem..."
Retrieved from "https://canonica.ai/page/Proof_Theory"