Argument Lucasa-Penrose’a – argument wykorzystujący twierdzenia Gödla o niezupełności systemów formalnych w celu pokazania, że umysłu nie można wyjaśnić w kategoriach czysto mechanistycznych. Argument został przedstawiony w różnych formach przez samego Kurta Gödla, filozofów: Johna R. LucasaJohn R. Lucas. Mind, machines and Gödel w A.R. Anderson (red.) Minds and Machines, s. 120–124. Englewood Cliffs, 1964. „Gödel’s theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines.” (tłum. „Twierdzenie Gödla dowodzi, moim zdaniem, że mechanicyzm jest błędny, czyli że umysły nie dają się opisać jako maszyny”)., Ernesta Nagela i Jamesa R. Newmana oraz fizyka Rogera Penrose’aRoger Penrose. Mathematical intelligence w Jean Khalfa (red.) What is Intelligence?, s. 107–136. Cambridge University Press, Cambridge, United Kingdom, 1994. „The inescapable conclusion seems to be: Mathematicians are not using a knowably sound calculation procedure in order to ascertain mathematical truth. We deduce that mathematical understanding – the means whereby mathematicians arrive at their conclusions with respect to mathematical truth – cannot be reduced to blind calculation.” (tłum.