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.
Stats
|
created |
4 years, 11 months ago |
|
viewed |
43 times |
|
active |
1 year, 11 months 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.
Is an axiom a proof?
What is the theorem that has the most proofs?
more »
