Argumento de Penrose-Lucas
O argumento de Penrose-Lucas é um argumento lógico parcialmente baseado em uma teoria desenvolvida pelo matemático e lógico Kurt Gödel . Em 1931, provou que toda teoria efetivamente gerada, capaz de provar a aritmética básica: ou falha em ser consistente ou falha em ser completa. Devido à capacidade dos humanos em ver a verdade das sentenças de Gödel do sistema formal, argumenta-se que a mente humana não pode ser computada em uma máquina de Turing que funcione na aritmética de Peano porque esta última não pode ver o valor de verdade de sua sentença de Gödel, enquanto as mentes humanas podem. O matemático Roger Penrose modificou o argumento em seu primeiro livro sobre consciência, A Mente Nova do Rei (1989), onde o usou para fornecer a base de sua teoria da consciência: redução objetiva orquestrada.[1]
O argumento de Penrose-Lucas é essencialmente uma aplicação do teorema de incompletude de Gödel à questão da capacidade da mente humana em superar as limitações de uma máquina de Turing. Em 1931, Kurt Gödel demonstrou que qualquer sistema formal capaz de expressar a aritmética básica será ou inconsistente ou incompleto. Isso implica que existem proposições verdadeiras sobre números naturais que não podem ser provadas dentro desse sistema. Penrose e Lucas argumentam que, como os seres humanos são capazes de entender e reconhecer a verdade dessas proposições de Gödel, isso sugere que a mente humana opera de forma diferente de uma máquina de Turing que opera apenas com lógica formal. Eles propõem que a mente humana pode acessar algum tipo de verdade matemática ou lógica que vai além do que uma máquina de Turing pode alcançar. Essencialmente, Penrose modifica o argumento de Gödel para sugerir que a mente humana não pode ser reduzida a um sistema computacional como uma máquina de Turing, porque nossa capacidade de compreender e reconhecer verdades matemáticas vai além das capacidades dessas máquinas, seres humanos tem acesso ao conhecimento intuitivo. Isso forma a base para a teoria da consciência de Penrose, conhecida como "redução objetiva orquestrada".[1]
Antecedentes[editar | editar código-fonte]
Kurt Gödel mostrou que qualquer teoria deste tipo que inclua também uma afirmação da sua própria consistência é inconsistente. Um elemento-chave da prova é o uso da numeração de Gödel para construir uma "sentença de Gödel" para a teoria, que codifica uma afirmação de sua própria incompletude: "Esta teoria não pode provar esta afirmação"; ou "Não posso comprovar neste sistema". Ou esta afirmação e a sua negação são ambas improváveis (a teoria é incompleta) ou ambas demonstráveis (a teoria é inconsistente). Na primeira eventualidade a afirmação é intuitivamente verdadeira (uma vez que não é demonstrável); caso contrário, a afirmação é intuitivamente falsa – embora demonstrável.[2]
Uma afirmação análoga foi usada para mostrar que os humanos estão sujeitos aos mesmos limites que as máquinas: “Lucas não pode afirmar consistentemente esta fórmula”. Em defesa do filósofo John Lucas, JE Martin e KH Engleman argumentaram em "A mente tem duas visões" que Lucas pode reconhecer que a frase é verdadeira, pois há um ponto de vista a partir do qual ele pode entender como a frase o engana. Deste ponto de vista, Lucas pode compreender que não pode afirmar a frase – e, consequentemente, pode reconhecer a sua verdade. Ainda assim, esta crítica só funciona se assumirmos que podemos substituir o raciocínio de Lucas por um sistema formal que tem uma sentença de Gödel, mas o argumento de Penrose-Lucas tenta provar o contrário: a nossa capacidade de compreender este nível de aritmética não é um procedimento eficaz que pode ser simulado em uma máquina de Turing.[3][4]
Penrose argumentou que, embora um sistema de prova formal não possa provar a sua própria consistência, os resultados improváveis de Gödel podem ser provados por matemáticos humanos. Ele entende que esta disparidade significa que os matemáticos humanos não podem ser descritos como sistemas de prova formais (cujos teoremas podem ser provados usando um objeto abstrato como um computador) e, portanto, estão executando um algoritmo não computável. Afirmações semelhantes sobre as implicações do teorema de Gödel foram originalmente defendidas por Alan Turing no final da década de 1940, pelo próprio Gödel em sua palestra Gibbs de 1951, por E. Nagel e JR Newman em 1958, e foram posteriormente popularizadas por Lucas em 1961.[5]
A conclusão inevitável parece ser: os matemáticos não estão a utilizar um procedimento de cálculo reconhecidamente sólido para determinar a verdade matemática. Deduzimos que a compreensão matemática – o meio pelo qual os matemáticos chegam às suas conclusões com respeito à verdade matemática – não pode ser reduzida ao cálculo cego! -Roger Penrose[6]
Consequências[editar | editar código-fonte]
Se correto, o argumento de Penrose-Lucas cria a necessidade de compreender a base física do comportamento não computável no cérebro. A maioria das leis físicas são computáveis e, portanto, algorítmicas. No entanto, Penrose determinou que o colapso da função de onda era o principal candidato para um processo não computável. Na mecânica quântica , as partículas são tratadas de forma diferente dos objetos da mecânica clássica . As partículas são descritas por funções de onda que evoluem de acordo com a equação de Schrödinger . Funções de onda não estacionárias são combinações lineares dos autoestados do sistema, um fenômeno descrito pelo princípio da superposição . Quando um sistema quântico interage com um sistema clássico – ou seja, quando um observável é medido – o sistema parece entrar em colapso para um estado próprio aleatório daquele observável a partir de um ponto de vista clássico. Se o colapso for verdadeiramente aleatório, então nenhum processo ou algoritmo pode prever deterministicamente o seu resultado. Isso forneceu a Penrose um candidato para a base física do processo não computável que ele supôs existir no cérebro. No entanto, ele não gostou da natureza aleatória do colapso induzido pelo ambiente, já que a aleatoriedade não era uma base promissora para a compreensão matemática. Penrose propôs que sistemas isolados ainda podem sofrer uma nova forma de colapso da função de onda, que ele chamou de redução objetiva (OR).[7][8]
Penrose procurou conciliar a relatividade geral e a teoria quântica usando suas próprias ideias sobre a possível estrutura do espaço-tempo. Ele sugeriu que na escala de Planck o espaço-tempo curvo não é contínuo, mas discreto. Penrose postulou que cada superposição quântica separada tem seu próprio pedaço de curvatura do espaço-tempo , uma bolha no espaço-tempo. Penrose sugere que a gravidade exerce uma força sobre essas bolhas do espaço-tempo, que se tornam instáveis acima da escala de Planck (10-35m) e colapsam para apenas um dos estados possíveis.[9]
O limite aproximado para OR (redução objetiva orquestrada) é dado pelo princípio da indeterminação de Penrose:
Assim, quanto maior a energia de massa do objeto, mais rápido ele sofrerá OR (redução objetiva orquestrada) e vice-versa. As superposições em nível atômico exigiriam 10 milhões de anos para atingir o limite OR (redução objetiva orquestrada), enquanto um objeto isolado de 1 quilograma atingiria o limite OR em 10 −37 s. Objetos em algum lugar entre essas duas escalas poderiam entrar em colapso em uma escala de tempo relevante para o processamento neural. Uma característica essencial da teoria de Penrose é que a escolha dos estados quando ocorre a redução objetiva não é selecionada aleatoriamente (como o são as escolhas após o colapso da função de onda ) nem algoritmicamente. Em vez disso, os estados são selecionados por uma influência “não computável” incorporada na escala de Planck da geometria do espaço-tempo. Penrose afirmou que tal informação é platônica, representando pura verdade matemática, valores estéticos e éticos na escala de Planck. Isto se relaciona com as idéias de Penrose sobre os três mundos: físico, mental e o mundo matemático platônico. Em sua teoria, o mundo platônico corresponde à geometria do espaço-tempo fundamental que afirma apoiar o pensamento não computacional.[10] [11]
Crítica[editar | editar código-fonte]
O argumento de Penrose-Lucas sobre as implicações do teorema da incompletude de Gödel para as teorias computacionais da inteligência humana foi criticado em diversos aspectos[12] e o consenso entre os críticos é de que geralmente de que suas conclusões são problemáticas e não são convincentes.[13][14][15]
O filósofo e matemático Solomon Feferman criticou pontos detalhados no segundo livro de Penrose, Shadows of the Mind (Sombras da mente) . Ele argumentou que os matemáticos não progridem pela busca mecanicista através de provas, mas pelo raciocínio de tentativa e erro, insight e inspiração, e que as máquinas não compartilham esta abordagem com os humanos. Ele ressaltou que a matemática cotidiana pode ser formalizada. Ele também rejeitou o platonismo de Penrose. Ainda assim, isto não explica o seu argumento central da alegada capacidade da mente humana para provar sentenças improváveis de Gödel. Além disso, a Inteligência artificial baseada na aprendizagem por reforço pode funcionar realizando ações em um ambiente a fim de maximizar a noção de recompensa cumulativa , agindo como procedimentos de tentativa e erro.[16][17][18]
Geoffrey LaForte apontou que, para saber a verdade de uma sentença de Gödel improvável, é preciso já saber que o sistema formal é consistente (embora este não tenha sido o ponto que Lucas tentou enfatizar); referenciando Paul Benacerraf, ele tentou demonstrar que os humanos não podem provar que são consistentes, e com toda a probabilidade os cérebros humanos são algoritmos inconsistentes que usam algum tipo de lógica paraconsistente , apontando alegadas contradições nos próprios escritos de Penrose como exemplos. Da mesma forma, Marvin Minsky argumentou que, como os humanos podem acreditar que ideias falsas são verdadeiras, a compreensão matemática humana não precisa ser consistente e a consciência pode facilmente ter uma base determinística. Penrose argumentou contra Minsky afirmando que os erros cometidos pelos matemáticos humanos são irrelevantes porque são corrigíveis, enquanto as verdades lógicas são “verdades incontestáveis” para as pessoas, que são as saídas de um sistema sólido e as únicas que importam. Os erros não implicam diretamente que a mente humana seja inconsistente por si só: os organismos biológicos estão sujeitos a turbulências cognitivas, redução da memória de longo prazo e mudanças de atenção; estes reduzem a nossa capacidade de raciocínio e fazem com que os humanos ajam inconscientemente, sem levar em consideração todas as variáveis possíveis de um sistema. Assim, vale uma disjunção: ou a mente humana não é um cálculo de uma Máquina de Turing; ou é o produto de uma Máquina de Turing inconsistente que poderia estar raciocinando usando algum tipo de lógica inconsistente.[19]
Veja também[editar | editar código-fonte]
Referências[editar | editar código-fonte]
- ↑ a b «The Penrose–Lucas argument». Mathematics Stack Exchange (em inglês). Consultado em 11 de fevereiro de 2024
- ↑ Mendelson, Elliot (2009). Introduction to Mathematical Logic (hardcover). Discrete Mathematics and Its Applications (5th ed.). Boca Raton: Chapman and Hall/CRC. ISBN 978-1-58488-876-5.
- ↑ Martin, J. E.; Engleman, K. H. (1990). "The Mind's I Has Two Eyes". Philosophy. 65 (254): 510–515. ISSN 0031-8191; Hofstadter 1979, pp. 476–477, Russell & Norvig 2003, p. 950, Turing 1950;
- ↑ «Details view: Lucas tricks machines into contradicting themselves». debategraph.org. Consultado em 11 de fevereiro de 2024
- ↑ Penrose, Roger (1989). The Emperor's New Mind: Concerning Computers, Minds and The Laws of Physics. Oxford University Press. p. 480. ISBN 978-0-19-851973-7; "Gödel's Incompleteness Theorems". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2022; Lucas, John R. (1961). "Minds, Machines and Godel". Philosophy. 36 (April–July): 112–127. doi:10.1017/s0031819100057983. S2CID 55408480.
- ↑ Roger Penrose. Mathematical intelligence. In Jean Khalfa, editor, What is Intelligence?, chapter 5, pages 107–136. Cambridge University Press, Cambridge, United Kingdom, 1994.
- ↑ «Lucas-Penrose Argument about Gödel's Theorem | Internet Encyclopedia of Philosophy» (em inglês). Consultado em 11 de fevereiro de 2024
- ↑ Hameroff, Stuart; Penrose, Roger (March 2014). "Consciousness in the universe: A review of the 'Orch OR' theory". Physics of Life Reviews. Elsevier. 11 (1): 39–78. Bibcode:2014PhLRv..11...39H. doi:10.1016/j.plrev.2013.08.002. PMID 24070914.
- ↑ Penrose, Roger (1989). The Emperor's New Mind: Concerning Computers, Minds and The Laws of Physics. Oxford University Press. p. 480. ISBN 978-0-19-851973-7; Penrose, Roger (1989). Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford University Press. p. 457. ISBN 978-0-19-853978-0.
- ↑ Hameroff, Stuart; Penrose, Roger (March 2014). "Consciousness in the universe: A review of the 'Orch OR' theory". Physics of Life Reviews. Elsevier. 11 (1): 39–78. Bibcode:2014PhLRv..11...39H. doi:10.1016/j.plrev.2013.08.002. PMID 24070914; "Kant's Views on Space and Time". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2022; Rosu, H. C. (1994). "Essay on mesoscopic and quantum brain". arXiv:gr-qc/9409007.
- ↑ Dumé, Isabelle (10 de outubro de 2020). «Physicists place fresh limits on gravity's role in wavefunction collapse». Physics World (em inglês). Consultado em 11 de fevereiro de 2024
- ↑ Falta de consenso: Há falta de consenso entre os especialistas sobre se o argumento é convincente ou não. Muitos discordam da interpretação de Penrose e Lucas sobre o teorema de Gödel e suas supostas implicações para a mente humana. Interpretação do teorema de Gödel: Algumas críticas se concentram na interpretação do teorema de Gödel feita por Penrose e Lucas, argumentando que eles extrapolam indevidamente suas conclusões para além do contexto matemático original. Viabilidade da implementação prática: Alguns críticos questionam se a suposta incompletude da mente humana em relação a uma máquina de Turing tem implicações práticas significativas para a inteligência artificial ou para a compreensão da mente humana. Falta de evidências empíricas: Outros críticos apontam que o argumento de Penrose e Lucas carece de evidências empíricas sólidas para sustentar suas conclusões sobre a natureza da mente humana e sua relação com a computação.
- ↑ LaForte, Geoffrey, Patrick J. Hayes, and Kenneth M. Ford 1998.Why Gödel's Theorem Cannot Refute Computationalism. Artificial Intelligence, 104:265–286. Feferman, Solomon (1996). "Penrose's Gödelian argument". Psyche. 2: 21–32. CiteSeerX 10.1.1.130.7027. Krajewski, Stanislaw 2007. On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to 'Out-Gödel' the Mechanist. Fundamenta Informaticae 81, 173–181. Reprinted in Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk (2008), p. 173 P. Pudlak, A note on applicability of the incompleteness theorem to human mind, Annals of Pure and Applied Logic, 96 (1999), 335-342 doi://10.1016/S0168-0072(98)00044-X Putnam, Hilary 1995. Review of Shadows of the Mind. In Bulletin of the American Mathematical Society 32, 370–373.
- ↑ "MindPapers: 6.1b. Godelian arguments". Consc.net. Retrieved 2014-07-28. "References for Criticisms of the Gödelian Argument". Users.ox.ac.uk. 1999-07-10. Archived from the original on 2020-09-17. Retrieved 2021-07-07. Boolos, George, et al. 1990. An Open Peer Commentary on The Emperor's New Mind. Behavioral and Brain Sciences 13 (4) 655. Davis, Martin 1993. How subtle is Gödel's theorem? More on Roger Penrose. Behavioral and Brain Sciences, 16, 611–612. Online version at Davis' faculty page at http://cs.nyu.edu/cs/faculty/davism/ Lewis, David K. 1969.Lucas against mechanism. Philosophy 44 231–233.
- ↑ Bringsjord, S. and Xiao, H. 2000. A Refutation of Penrose's Gödelian Case Against Artificial Intelligence. Journal of Experimental and Theoretical Artificial Intelligence 12: 307–329. L.J. Landau at the Mathematics Department of King's College London writes that "Penrose's argument, its basis and implications, is rejected by experts in the fields which it touches." Princeton Philosophy professor John Burgess writes in On the Outside Looking In: A Caution about Conservativeness (published in Kurt Gödel: Essays for his Centennial, with the following comments found on pp. 131–132). Dershowitz, Nachum 2005. The Four Sons of Penrose, in Proceedings of the Eleventh Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR; Jamaica), G. Sutcliffe and A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, pp. 125–138.
- ↑ Feferman, Solomon (1996). "Penrose's Gödelian argument". Psyche. 2: 21–32. CiteSeerX 10.1.1.130.7027.
- ↑ «What is Machine Learning? | IBM». www.ibm.com (em inglês). Consultado em 11 de fevereiro de 2024
- ↑ «"Building a Machine Learning Model through Trial and Error". KDnuggets»
- ↑ LaForte, Geoffrey, Patrick J. Hayes, and Kenneth M. Ford 1998.Why Gödel's Theorem Cannot Refute Computationalism. Artificial Intelligence, 104:265–286; Marvin Minsky. "Conscious Machines." Machinery of Consciousness, Proceedings, National Research Council of Canada, 75th Anniversary Symposium on Science in Society, June 1991; "Lucas-Penrose Argument about Gödel's Theorem". Internet Encyclopedia of Philosophy.