Timeline for what is logic without a proof system [closed]
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 11, 2010 at 15:09 | comment | added | Zirui Wang | As long as there are logical rules, there are proofs, because each logical rule is a proof. | |
| Nov 5, 2009 at 17:55 | comment | added | Anton Geraschenko | I'll consider reopening this question if it becomes a real question. As is, people can only speculate about what it means and then answer based on their speculations. | |
| Nov 5, 2009 at 17:53 | history | closed | Anton Geraschenko | not a real question | |
| Nov 5, 2009 at 17:05 | vote | accept | Yuan | ||
| Nov 5, 2009 at 16:59 | answer | added | Jason Dyer | timeline score: 0 | |
| Nov 5, 2009 at 16:50 | answer | added | eth0 | timeline score: 0 | |
| Nov 5, 2009 at 16:38 | comment | added | Michael Hoffman | a proof for no proof? ... This question is nonsensical, maybe it's just that you weren't clear in your description. Please describe further. | |
| Nov 5, 2009 at 16:36 | history | asked | Yuan | CC BY-SA 2.5 |