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 |
6 years ago |
viewed |
15 times |
editors |
0 |
Top Answerers
more »Recent Hot Answers
Reductio ad absurdum or the contrapositive?When are two proofs of the same theorem really different proofs
Consequences of technically proving anything in Coq (on at least Linux) exploiting a bug?
What's a magical theorem in logic?
Can infinity shorten proofs a lot?
more »
Related Tags
lo.logic × 129
set-theory × 24
peano-arithmetic × 16
reference-request × 15
computability-theory × 15
reverse-math × 15
foundations × 8
ordinal-numbers × 8
metamathematics × 8
ordinal-analysis × 8
model-theory × 7
nt.number-theory × 5
math-philosophy × 5
soft-question × 4
terminology × 4
proof-assistants × 4
formal-proof × 4
proof-complexity × 4
co.combinatorics × 3
big-list × 3
more related tags