diff options
Diffstat (limited to 'content/zettel/4c.md')
-rw-r--r-- | content/zettel/4c.md | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/content/zettel/4c.md b/content/zettel/4c.md new file mode 100644 index 0000000..2f8488a --- /dev/null +++ b/content/zettel/4c.md @@ -0,0 +1,29 @@ ++++ +title = "Proof Theory" +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["4b"] +forwardlinks = ["4d", "4c1"] +zettelid = "4c" ++++ + +Proof theory is the theory of formal proofs, which differ from the +social proofs that are normally done. One therefore vies the proofs from +a purely syntactic point of view. + +The main book that is being followed for this is \[1\]. + +<div id="refs" class="references csl-bib-body" markdown="1"> + +<div id="ref-gerard87_proof_theor_logic_compl" class="csl-entry" +markdown="1"> + +<span class="csl-left-margin">\[1\] +</span><span class="csl-right-inline">J.-Y. Gerard, *Proof theory and +logical complexity*. Napoli, via Arangio Ruiz 83: Bibliopolis, +1987.</span> + +</div> + +</div> |