The Church-Turing thesis and effective mundane procedures

Cite This

Files in this item

Checksum: MD5:bf8b3cac86503e6a44a725398390ab38

HORSTEN, Leon, Herman ROELANTS, 1995. The Church-Turing thesis and effective mundane procedures. In: Minds and Machines. Springer. 5(1), pp. 1-8. ISSN 0924-6495. eISSN 1572-8641. Available under: doi: 10.1007/BF00974186

@article{Horsten1995Churc-56951, title={The Church-Turing thesis and effective mundane procedures}, year={1995}, doi={10.1007/BF00974186}, number={1}, volume={5}, issn={0924-6495}, journal={Minds and Machines}, pages={1--8}, author={Horsten, Leon and Roelants, Herman} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/56951"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T14:54:04Z</dc:date> <dcterms:abstract xml:lang="eng">We critically discuss Cleland's analysis of effective procedures as ‘mundane effective procedures’. She argues that Turing machines cannot carry out mundane procedures, since Turing machines are abstract entities and therefore cannot generate the causal processes that are generated by mundane procedures. We argue that if Turing machines cannot enter the physical world, then it is hard to see how Cleland's “mundane procedures” can enter the world of numbers. Hence her arguments against versions of the Church-Turing thesis for number theoretic functions miss the mark.</dcterms:abstract> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56951"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T14:54:04Z</dcterms:available> <dc:contributor>Horsten, Leon</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dc:creator>Roelants, Herman</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56951/3/Horsten_2-1h46jkpza8fm54.pdf"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56951/3/Horsten_2-1h46jkpza8fm54.pdf"/> <dc:contributor>Roelants, Herman</dc:contributor> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:issued>1995</dcterms:issued> <dc:creator>Horsten, Leon</dc:creator> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:title>The Church-Turing thesis and effective mundane procedures</dcterms:title> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>

Downloads since Mar 22, 2022 (Information about access statistics)

Horsten_2-1h46jkpza8fm54.pdf 29

This item appears in the following Collection(s)

Search KOPS


Browse

My Account