in reply to poll ideas quest 2009

Does Gödel's incompleteness theorem refute Leibniz's dream about the machine that solves all mathematical problems, as Smullyan suggests?

The argument is that the machine couldn't correctly answer the question "will you answer false to this question"?

Update: changed "Do you suppose " to "Does " in the question.