[godel+turing.jpg]