Timeline for Wolfram's axiom completeness
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 4, 2014 at 19:39 | comment | added | user44143 | Good luck with that. Wolfram says he used Waldmeister to find proofs from the axioms he discussed, and those proofs have the ridiculous proportions shown on pp. 810-811: wolframscience.com/nksonline/page-810 | |
| Dec 3, 2014 at 12:52 | comment | added | Emil Jeřábek | @Wojowu: You have equational logic at your disposal. | |
| Dec 3, 2014 at 12:13 | comment | added | Wojowu | I might be missing something, how can we deduce a=a from this single axiom? | |
| Dec 3, 2014 at 11:17 | history | asked | Thomas | CC BY-SA 3.0 |