Timeline for Complete proof system
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 1, 2011 at 10:31 | answer | added | Emil Jeřábek | timeline score: 3 | |
| Jun 1, 2011 at 10:07 | comment | added | Emil Jeřábek | This heavily depends on what kind of proof system it is, and with respect to what kind of semantics is it supposed to be proven complete. You really should include more details. | |
| Jun 1, 2011 at 9:59 | history | asked | Malen | CC BY-SA 3.0 |