For questions about proofs within a formal system, such as natural deduction or Hilbert system.
For questions about proofs within a formal system, such as natural deduction or a Hilbert system.
About
Stats
|
created |
6 years, 1 month ago |
|
viewed |
46 times |
|
active |
3 years, 1 month ago |
|
editors |
2 |
Top Answerers
more »
Recent Hot Answers
When writing proofs, is logical notation a crutch?Should a mathematical proof be 'convincing'?
Each person has at most 3 enemies in a group. Show that we can separate them into two groups where a person will have at most one enemy in the group.
What is the theorem that has the most proofs?
Is an axiom a proof?
more »
