occasional meanderings in physics' brave new world
- Name: Kea
- Location: New Zealand
Marni D. Sheppeard
Wednesday, October 31, 2007
A Slashdot report says that Vaughan Pratt, a well known computer scientist who works in Category Theory, claimed to have found an elementary error in Smith's purported proof of the Wolfram Turing machine conjecture. The Wolfram response is available here. They claim the proof stands, although Smith did need to alter the definition of universality. Even better, Alex Smith himself replies to Pratt.