ALGORITMICIDADE E INTUIÇÃO: A CRÔNICA DE UM DEBATE EM FILOSOFIA DA MENTE
Keywords:
algorithmicality, Turing Machine, Halting Problem, incompleteness, undecidability, Complexity Theory, mind-brain problemAbstract
The paper presents the outlines of a contemporary debate in Cognitive Science and Philosophy of Mind concerning the notion of atgorithmicatity. The first part introduces some basic concepts such as Turing Machine, Halting Problem, incompteteness, undecidabüity and others. The second part draws a relationship between atgorühmicality and Comptexity Theory.
Downloads
References
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
Published
How to Cite
Issue
Section
License
Copyright (c) 2024 João de Fernandes TEIXEIRA
This work is licensed under a Creative Commons Attribution 4.0 International License.
