"To be Turing-complete is to be logically inconsistent." http://t.co/KwuMenJ8mT