Timeline for Why is automated theorem proving impossible?
Current License: CC BY-SA 3.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 30, 2015 at 11:52 | history | edited | babou |
edited tags
|
|
| Apr 30, 2015 at 9:43 | history | tweeted | twitter.com/#!/StackCompSci/status/593712313192054784 | ||
| Apr 30, 2015 at 2:09 | comment | added | peterh | @AndréSouzaLemos Right, this is what I do. With Jake's wonderful answer I at least know, what should I looking for. Thanks! | |
| Apr 30, 2015 at 2:07 | vote | accept | peterh | ||
| Apr 30, 2015 at 1:41 | comment | added | André Souza Lemos | What happens is that the answer to this question, as it is, is encyclopedic. I suggest that you devote some time to study the problem, and then come up with a smaller question, one that can be answered in a more productive way, for you, and for others. | |
| Apr 30, 2015 at 1:39 | answer | added | Jake | timeline score: 12 | |
| Apr 30, 2015 at 1:30 | comment | added | peterh | @AndréSouzaLemos Because I remember some similar from my studies, and now I got a sudden feeling that it would be an irrecoverable loss if I forgot the exact result. | |
| Apr 30, 2015 at 1:26 | review | Low quality posts | |||
| Apr 30, 2015 at 1:49 | |||||
| Apr 30, 2015 at 1:26 | comment | added | André Souza Lemos | Ok, but why do you want this question answered? | |
| Apr 30, 2015 at 1:25 | comment | added | Rob | Automated theorem proving is possible in specific cases though. Coq allows for the construction of programs that are guaranteed to meet their specification. Google about C compilers and JavaScript compilers written in Coq. | |
| Apr 30, 2015 at 1:20 | comment | added | peterh | @AndréSouzaLemos As I know, in any "enough complex" logical system, but the perfect formulation is probably over my skills. | |
| Apr 30, 2015 at 1:14 | history | edited | peterh | CC BY-SA 3.0 |
deleted 7 characters in body
|
| S Apr 30, 2015 at 1:12 | history | suggested | user12859 | CC BY-SA 3.0 |
general copy-editing
|
| Apr 30, 2015 at 1:09 | review | Suggested edits | |||
| S Apr 30, 2015 at 1:12 | |||||
| Apr 30, 2015 at 1:09 | comment | added | André Souza Lemos | Could you be more specific? A theorem in which kind of logical system? | |
| Apr 30, 2015 at 1:08 | review | First posts | |||
| Apr 30, 2015 at 6:14 | |||||
| Apr 30, 2015 at 1:07 | history | asked | peterh | CC BY-SA 3.0 |