The old thread with discussions on why the proof works: http://news.ycombinator....

		scott_s on Aug 2, 2011 \| parent \| context \| favorite \| on: MIT develops new tool that can interrupt infinite ... The old thread with discussions on why the proof works: http://news.ycombinator.com/item?id=1321899