Gödelian argument

Lucas argued that Gödel's theorem shows human minds cannot be fully captured by consistent formal machines, a conclusion widely debated.