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 |
7 years, 11 months ago |
|
viewed |
52 times |
|
active |
4 years, 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.
What is the theorem that has the most proofs?
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.
more »