3 ms·
I knew that the proof was actually Matthew Cook's work, but I didn't realize it was invalid. Can you point me to a citation for that?
by andolanra 14y ago
I knew that the proof was actually Matthew Cook's work, but I didn't realize it was invalid. Can you point me to a citation for that?
- lmm 14y agoI was thinking of http://science.slashdot.org/story/07/10/29/2212226/wolframs-23-turing-machine-not-universal http://science.slashdot.org/story/07/10/29/2212226/wolframs-... ; looking again it seems that's a different proof, apologies.