For question in Proof Theory, where "proofs" themselves are the object of mathematical investigation. It is not to be used to request a proof of some result.
Stats
created |
5 months ago |
viewed |
4 times |
editors |
0 |
Top Answerers
more »Recent Hot Answers
Reductio ad absurdum or the contrapositive?Consequences of technically proving anything in Coq (on at least Linux) exploiting a bug?
When are two proofs of the same theorem really different proofs
What's a magical theorem in logic?
Why can't proofs have infinitely many steps?
more »
Related Tags
lo.logic × 103
set-theory × 15
reverse-math × 14
reference-request × 13
computability-theory × 11
metamathematics × 8
foundations × 8
peano-arithmetic × 7
ordinal-analysis × 7
ordinal-numbers × 5
arithmetic × 5
nt.number-theory × 4
model-theory × 4
terminology × 4
math-philosophy × 4
formal-proof × 4
co.combinatorics × 3
proof-complexity × 3
proof-assistant × 3
soft-question × 3
complex-analysis × 2
more related tags