&gt; Godel explored this exhaustively and concluded (though did not prove) that this is not possible<p>While I agree that Aaronson&#x27;s take on philosophy is not very original or profound, I don&#x27;t think that Gödel concluded anything of the sort, and if he said something in that vein (assuming you&#x27;re referring to the discussion on mechanism in the link you&#x27;re provided), it is more an expression of his <i>faith</i> that any problem can be solved (and since not every problem can be solved by a machine, the mind is more powerful than any machine) -- hardly a <i>conclusion</i>.