Penrose sugiere que ninguna máquina de computación podrá ser tan inteligente como un ser humano, ya que los sistemas formales algorítmicos (o sea, los sistemas de instrucciones secuenciadas sobre los cuales están construidas las computadoras) nunca les otorgarán la capacidad de "comprender" y "encontrar verdades" que los seres humanos poseen.