Timeline for Is there research on human-oriented theorem proving?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2017 at 22:29 | comment | added | Timothy Chow | When I wrote my answer, I was struggling to remember a certain article that I thought the OP might be interested in. I finally found it: www-formal.stanford.edu/jmc/human.pdf John McCarthy unfortunately passed away some years ago, but he thought harder than most people about what it would take to reach the goal of human-level artificial intelligence. Although he does not focus specifically on proving mathematical theorems, I think he does a nice job of capturing some of the known obstacles. | |
| Nov 4, 2017 at 20:11 | history | edited | Timothy Chow | CC BY-SA 3.0 |
deleted 3 characters in body
|
| Nov 4, 2017 at 17:42 | history | answered | Timothy Chow | CC BY-SA 3.0 |