Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Lucas against Mechanism
View through CrossRef
J. R. Lucas argues in “Minds, Machines, and Gödel”, that his potential output of truths of arithmetic cannot be duplicated by any Turing machine, and a fortiori cannot be duplicated by any machine. Given any Turing machine that generates a sequence of truths of arithmetic, Lucas can produce as true some sentence of arithmetic that the machine will never generate. Therefore Lucas is no machine.
Title: Lucas against Mechanism
Description:
J.
R.
Lucas argues in “Minds, Machines, and Gödel”, that his potential output of truths of arithmetic cannot be duplicated by any Turing machine, and a fortiori cannot be duplicated by any machine.
Given any Turing machine that generates a sequence of truths of arithmetic, Lucas can produce as true some sentence of arithmetic that the machine will never generate.
Therefore Lucas is no machine.
Related Results
Goedel's Theorem and Mechanism
Goedel's Theorem and Mechanism
In “Minds, Machines, and Gödel”, J. R. Lucas claims that Goedel's incompleteness theorem constitutes a proof “that Mechanism is false, that is, that minds cannot be explained as ma...
The Final Date of the Antikythera Mechanism
The Final Date of the Antikythera Mechanism
The Antikythera mechanism is a mechanical astronomical instrument that was discovered in an ancient shipwreck (from about 60 bce) at the beginning of the twentieth century. A conse...
Conclusions from the Functional Reconstruction of the Antikythera Mechanism
Conclusions from the Functional Reconstruction of the Antikythera Mechanism
After a careful examination of the Antikythera Mechanism computed tomography scans from the Antikythera Mechanism Research Project, we designed and constructed the mechanical parts...
The Antikythera Mechanism: The Construction of the Metonic Pointer and the Back Plate Spirals
The Antikythera Mechanism: The Construction of the Metonic Pointer and the Back Plate Spirals
The main dials of the back face of the Antikythera Mechanism have partially survived together with the pointer of the upper dial and a few remains of the mechanism that supported a...
Learning with ANIMA
Learning with ANIMA
The paper develops a semi-formal model of learning which modifies the traditional paradigm of artificial neural networks, implementing deep learning by means of a key insight borro...
Mechanism, External Purposiveness, and Object Individuation: from Mechanism to Teleology in Hegel's Science of Logic
Mechanism, External Purposiveness, and Object Individuation: from Mechanism to Teleology in Hegel's Science of Logic
AbstractThis article is an investigation into Hegel's claim that teleology is the truth of mechanism, which Hegel puts forward in the objectivity section in the Science of Logic. C...
VASD2OM: Virtual Auditing and Secure Deduplication with Dynamic Ownership Management in Cloud
VASD2OM: Virtual Auditing and Secure Deduplication with Dynamic Ownership Management in Cloud
In cloud repository amenities, deduplication technology is often utilized to minimize the volume and bandwidth by removing repetitious information and caching only a solitary dupli...
Self-Organization of Symmetry Networks: Transformation Invariance from the Spontaneous Symmetry-Breaking Mechanism
Self-Organization of Symmetry Networks: Transformation Invariance from the Spontaneous Symmetry-Breaking Mechanism
Symmetry networks use permutation symmetries among synaptic weights to achieve transformation-invariant response. This article proposes a generic mechanism by which such symmetries...