The Church-Turing thesis and effective mundane procedures

Kurzanzeige
dc.contributor.authorHorsten, Leon
dc.contributor.authorRoelants, Herman
dc.date.accessioned2022-03-22T14:54:04Z
dc.date.available2022-03-22T14:54:04Z
dc.date.issued1995eng
dc.description.abstractWe 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.eng
dc.description.versionpublishedeng
dc.identifier.doi10.1007/BF00974186eng
dc.identifier.ppn1797646133
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/56951
dc.language.isoengeng
dc.rightsterms-of-use
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/
dc.subjectChurch-Turing thesis, Turing machine, effective procedure, effectively computable function, mundane procedureeng
dc.subject.ddc100eng
dc.titleThe Church-Turing thesis and effective mundane procedureseng
dc.typeJOURNAL_ARTICLEeng
dspace.entity.typePublication
kops.citation.bibtex
@article{Horsten1995Churc-56951,
  year={1995},
  doi={10.1007/BF00974186},
  title={The Church-Turing thesis and effective mundane procedures},
  number={1},
  volume={5},
  issn={0924-6495},
  journal={Minds and Machines},
  pages={1--8},
  author={Horsten, Leon and Roelants, Herman}
}
kops.citation.iso690HORSTEN, Leon, Herman ROELANTS, 1995. The Church-Turing thesis and effective mundane procedures. In: Minds and Machines. Springer. 1995, 5(1), pp. 1-8. ISSN 0924-6495. eISSN 1572-8641. Available under: doi: 10.1007/BF00974186deu
kops.citation.iso690HORSTEN, Leon, Herman ROELANTS, 1995. The Church-Turing thesis and effective mundane procedures. In: Minds and Machines. Springer. 1995, 5(1), pp. 1-8. ISSN 0924-6495. eISSN 1572-8641. Available under: doi: 10.1007/BF00974186eng
kops.citation.rdf
<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/server/rdf/resource/123456789/56951">
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56951"/>
    <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>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:language>eng</dc:language>
    <dcterms:issued>1995</dcterms:issued>
    <dc:rights>terms-of-use</dc:rights>
    <dc:creator>Roelants, Herman</dc:creator>
    <dc:contributor>Roelants, Herman</dc:contributor>
    <dc:creator>Horsten, Leon</dc:creator>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <dcterms:title>The Church-Turing thesis and effective mundane procedures</dcterms:title>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56951/3/Horsten_2-1h46jkpza8fm54.pdf"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T14:54:04Z</dc:date>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T14:54:04Z</dcterms:available>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56951/3/Horsten_2-1h46jkpza8fm54.pdf"/>
  </rdf:Description>
</rdf:RDF>
kops.description.openAccessopenaccessgreen
kops.flag.isPeerReviewedtrueeng
kops.flag.knbibliographyfalse
kops.identifier.nbnurn:nbn:de:bsz:352-2-1h46jkpza8fm54
kops.sourcefieldMinds and Machines. Springer. 1995, <b>5</b>(1), pp. 1-8. ISSN 0924-6495. eISSN 1572-8641. Available under: doi: 10.1007/BF00974186deu
kops.sourcefield.plainMinds and Machines. Springer. 1995, 5(1), pp. 1-8. ISSN 0924-6495. eISSN 1572-8641. Available under: doi: 10.1007/BF00974186deu
kops.sourcefield.plainMinds and Machines. Springer. 1995, 5(1), pp. 1-8. ISSN 0924-6495. eISSN 1572-8641. Available under: doi: 10.1007/BF00974186eng
relation.isAuthorOfPublication7a655380-a594-49b4-a5bb-d3a6adc1f18a
relation.isAuthorOfPublication.latestForDiscovery7a655380-a594-49b4-a5bb-d3a6adc1f18a
source.bibliographicInfo.fromPage1eng
source.bibliographicInfo.issue1eng
source.bibliographicInfo.toPage8eng
source.bibliographicInfo.volume5eng
source.identifier.eissn1572-8641eng
source.identifier.issn0924-6495eng
source.periodicalTitleMinds and Machineseng
source.publisherSpringereng

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Horsten_2-1h46jkpza8fm54.pdf
Größe:
4.23 MB
Format:
Adobe Portable Document Format
Beschreibung:
Horsten_2-1h46jkpza8fm54.pdf
Horsten_2-1h46jkpza8fm54.pdfGröße: 4.23 MBDownloads: 270

Lizenzbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
license.txt
Größe:
3.96 KB
Format:
Item-specific license agreed upon to submission
Beschreibung:
license.txt
license.txtGröße: 3.96 KBDownloads: 0

Sammlungen

Philosophie: Publikationen