Computational Complexity and Philosophical Dualism
João de Fernandes Teixeira · The Paideia Archive: Twentieth World Congress of Philosophy · 1998
I examine some recent controversies involving the possibility of mechanical simulation of mathematical intuition. The first part is concerned with a presentation of the Lucas-Penrose position and recapitulates some basic logical conceptual machinery (Gödel's proof, Hilbert's Tenth Problem and Turing's Halting Problem). The second part is devoted to a presentation of the main outlines of Complexity Theory as well as to the introduction of Bremermann's notion of transcomputability and fundamental limit. The third part attempts to draw a connection/relationship between Complexity Theory and undecidability focusing on a new revised version of the Lucas-Penrose position in light of physical a priori limitations of computing machines. Finally, the last part derives some epistemological/philosophical implications of the relationship between Gödel's incompleteness theorem and Complexity Theory for the mind/brain problem in Artificial Intelligence and discusses the compatibility of functionalism with a materialist theory of the mind.