2000 character limit reached
Consciousness qua Mortal Computation (2403.03925v1)
Published 6 Mar 2024 in q-bio.NC and cs.AI
Abstract: Computational functionalism posits that consciousness is a computation. Here we show, perhaps surprisingly, that it cannot be a Turing computation. Rather, computational functionalism implies that consciousness is a novel type of computation that has recently been proposed by Geoffrey Hinton, called mortal computation.
- \APACrefYearMonthDay2023. \BBOQ\APACrefatitleConsciousness in artificial intelligence: Insights from the science of consciousness Consciousness in artificial intelligence: Insights from the science of consciousness.\BBCQ \APACjournalVolNumPagesarXiv preprint arXiv:2308.08708. \PrintBackRefs\CurrentBib
- \APACinsertmetastarchurch1936unsolvable{APACrefauthors}Church, A. \APACrefYearMonthDay1936. \BBOQ\APACrefatitleAn Unsolvable Problem of Elementary Number Theory An unsolvable problem of elementary number theory.\BBCQ \APACjournalVolNumPagesAmerican Journal of Mathematics582345–363. {APACrefDOI} \doihttps://doi.org/10.2307/2371045 \PrintBackRefs\CurrentBib
- \APACinsertmetastargoedel1934undecidable{APACrefauthors}Gödel, K. \APACrefYearMonthDay1934. \BBOQ\APACrefatitleOn undecidable propositions of formal mathematical systems On undecidable propositions of formal mathematical systems.\BBCQ \BIn \APACrefbtitleCollected Works Collected works (\BVOL 1). \APACaddressPublisherOxford University Press, 1986. \PrintBackRefs\CurrentBib
- \APACinsertmetastarhinton2022forward{APACrefauthors}Hinton, G. \APACrefYearMonthDay2022. \BBOQ\APACrefatitleThe forward-forward algorithm: Some preliminary investigations The forward-forward algorithm: Some preliminary investigations.\BBCQ \APACjournalVolNumPagesarXiv preprint arXiv:2212.13345. \PrintBackRefs\CurrentBib
- \APACinsertmetastarkleene1936lambda{APACrefauthors}Kleene, S\BPBIC. \APACrefYearMonthDay1936. \BBOQ\APACrefatitleλ𝜆\lambdaitalic_λ-definability and recursiveness λ𝜆\lambdaitalic_λ-definability and recursiveness.\BBCQ \APACjournalVolNumPagesDuke Mathematical Journal22340 – 353. {APACrefDOI} \doihttps://doi.org/10.1215/S0012-7094-36-00227-2 \PrintBackRefs\CurrentBib
- \APACinsertmetastarpiccinini2015physical{APACrefauthors}Piccinini, G. \APACrefYear2015. \APACrefbtitlePhysical computation: A mechanistic account Physical computation: A mechanistic account. \APACaddressPublisherOUP Oxford. \PrintBackRefs\CurrentBib
- \APACinsertmetastarpiccinini2020neurocognitive{APACrefauthors}Piccinini, G. \APACrefYear2020. \APACrefbtitleNeurocognitive Mechanisms: Explaining Biological Cognition Neurocognitive Mechanisms: Explaining Biological Cognition. \APACaddressPublisherOxford University Press. {APACrefDOI} \doihttps://doi.org/10.1093/oso/9780198866282.001.0001 \PrintBackRefs\CurrentBib
- \APACinsertmetastarputnam1967psychological{APACrefauthors}Putnam, H. \APACrefYearMonthDay1967. \BBOQ\APACrefatitlePsychological Predicates Psychological predicates.\BBCQ \BIn W\BPBIH. Capitan \BBA D\BPBID. Merrill (\BEDS), \APACrefbtitleArt, Mind, and Religion. Art, mind, and religion. \APACaddressPublisherPittsburgh: University of Pittsburgh Press. \APACrefnoteReprinted in Putnam (\APACyear1975). \PrintBackRefs\CurrentBib
- \APACinsertmetastarputnam1975nature{APACrefauthors}Putnam, H. \APACrefYearMonthDay1975. \BBOQ\APACrefatitleThe Nature of Mental States The nature of mental states.\BBCQ \BIn \APACrefbtitleMind, Language, and Reality: Philosophical Papers Mind, language, and reality: Philosophical papers (\BVOL ii). \APACaddressPublisherCambridge: Cambridge University Press. \PrintBackRefs\CurrentBib
- \APACinsertmetastarturing1937computability{APACrefauthors}Turing, A\BPBIM. \APACrefYearMonthDay1937\BCnt1. \BBOQ\APACrefatitleComputability and λ𝜆\lambdaitalic_λ-definability Computability and λ𝜆\lambdaitalic_λ-definability.\BBCQ \APACjournalVolNumPagesJournal of Symbolic Logic24153–163. {APACrefDOI} \doihttps://doi.org/10.2307/2268280 \PrintBackRefs\CurrentBib
- \APACinsertmetastarturing1936computable{APACrefauthors}Turing, A\BPBIM. \APACrefYearMonthDay1937\BCnt2. \BBOQ\APACrefatitleOn Computable Numbers, with an Application to the Entscheidungsproblem On computable numbers, with an application to the entscheidungsproblem.\BBCQ \APACjournalVolNumPagesProceedings of the London Mathematical Societys2-421230-265. {APACrefDOI} \doihttps://doi.org/10.1112/plms/s2-42.1.230 \PrintBackRefs\CurrentBib