ALGORITMICIDADE E INTUIÇÃO: A CRÔNICA DE UM DEBATE EM FILOSOFIA DA MENTE
Palavras-chave:
algoritmicidade, máquina de Turing, Problema da parada, imcompletude, indecidibilidade, Teoria da complexidade, problema mente-cérebroResumo
O artigo apresenta o estado da arte de um debate que se trava hoje em dia em torno do problema da algorümicidade na Ciência Cognitiva e na Filosofia da Mente. A primeira parte introduz conceitos fundamentais para a compreensão da natureza deste debate tais como as noções de Máquina de Turing, Problema da Parada,
Teorema da Incompleta(ie, indecidibüidade e outras. A segunda parte apresenta algumas especulações que visam relacionar o problema da algoritmicidade com a Teoria da Complexidade Computacional.
Downloads
Referências
BREMERMANN, H. J. (1977) - ’'Transcomputability and Complexity" in Smith, M. & Duncan, R.(eds) - The Encyclopaedia oflgnorance , (London: Routledge and Keagan Paul) 193-202.
CHARLMERS, D. ( 1996) -The Conscious Mind- Oxford: Oxford University Press.
DAVIS, M. & Matijasevic, Y. & Robinson, J. (1976) - "Hilbert's Tenth Problem, Diophantine Equations: positive aspects of a negative solution" - Proceedings of Symposia in Pure Mathematics, 28, 323-378.
DENNETT, D. (1978) - ’'The abilities of men and machines" in Brainstorms: Philosophical Essays on Mind and Psychology Sussex: The Harvester Press 256-266
DENNETT, D. ( 1991 ) - Consciousness Explained Boston: Little & Brown.
DENNETT, D. (1995) - Darwin's dangerous idea New york: Simon & Schuster..
GODEL, K. (193 1/1962) - On formally undecidable propositions of Principia Mathematica and related Systems - New York: Basic Books.
HAMEROFF S. R. (1996) - Toward a Science of Consciousness Cambridge, MA, The MIT Press.
HOFSTADTER, D.R. (1979) - Gõdel, Escher and Bach an eternal golden braid Sussex: Harvester Press.
HOPCROFT,J. & Ullman, J. (1979) - Introduction to Automata Theory , Languages and Computation - (New York: Addison Wesley Publishing Company).
LUCAS, J.R. (1961) - "Minds, machines and Gõdel’' Philosophy 36, 120-124.
NAGEL, E. & Newman, J.R. (1958) - Godel's Proof. London: Routledge and Keagan Paul
NEUMANN, J.von (195 1) - Cerebral Mechanisms in Behcrvior. (New York: Wiley)
NEUMANN, J. von ( 1966) - Theory of Self-Reproducing Áutomata - Edited and completed by Arthur W. Burks. (Urbana, Illinois: University of Illinois Press)
PENROSE, R. ( 1987) - "Minds. machines and mathematics" in Blakemore & Greenfield, (edsl - Mindwaves: thoughts on intelligence. identity and consciousness Oxford: Basil Blackwell. 259-276.
Penrose, R. ( 1989) -The Emperor's New Mind: concerning computers, minds and the laws of Physics. ( Oxford: Oxford University Press).
PENROSE, R. (1994) - Shadows of the Mind Oxford: Oxford University Press.
SMART, J. J. (196 1)- "Godel's Theorem, Church's Theorem and Mechanism" Synthese, 13, 105-110.
TURING, A. M. (1936) - ''On computable numbers, with an application to the Entscheidungsproblem - Proceedings of the London Mathematical Society, 42, 230-65.
TURING, A.M. (1939) - Systems of Logic Based on Ordinals. Proceedings of the London Mathematical Society , 45,161-228.
WANG, A. ( 1974) - From Mathematics to Philosophy . New York: Humanities Press.
WEBB, J.C. ( 1980) - Mechanism, Mentalism and Metamathematics - London: D. Reidel Publishing Company.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Copyright (c) 2024 João de Fernandes TEIXEIRA
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
