G(F) = “This sentence cannot be proved in F.” But we humans can just “see” the truth of G(F) – since if G(F) were false, then it would be provable, which is absurd! Therefore, the human mind can do something that no present-day computer can do. Therefore, consciousness can't be reducible to computation.
