Formalizing Church’s Thesis

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

HORSTEN, Leon, 2006. Formalizing Church’s Thesis. In: OLSZEWSKI, Adam, ed., Jan WOLEŃSKI, ed., Robert JANUSZ, ed.. Church's Thesis After 70 Years. Berlin:De Gruyter, pp. 253-268. ISBN 978-3-11-032494-5. Available under: doi: 10.1515/9783110325461.253

@incollection{Horsten2006Forma-56501, title={Formalizing Church’s Thesis}, year={2006}, doi={10.1515/9783110325461.253}, number={1}, isbn={978-3-11-032494-5}, address={Berlin}, publisher={De Gruyter}, series={Ontos Mathematical Logic}, booktitle={Church's Thesis After 70 Years}, pages={253--268}, editor={Olszewski, Adam and Woleński, Jan and Janusz, Robert}, author={Horsten, Leon} }

<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/56501"> <dcterms:issued>2006</dcterms:issued> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:title>Formalizing Church’s Thesis</dcterms:title> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-02-10T11:55:04Z</dc:date> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:abstract xml:lang="eng">This paper investigates to what extent Church’s Thesis can be expressed and investigated within a formal framework. In particular, we discuss the formalization of Church’s Thesis in intuitionistic arithmetic and formalizations of Church’s Thesis in systems of epistemic arithmetic.</dcterms:abstract> <dc:rights>terms-of-use</dc:rights> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56501"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:contributor>Horsten, Leon</dc:contributor> <dc:creator>Horsten, Leon</dc:creator> <dc:language>eng</dc:language> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-02-10T11:55:04Z</dcterms:available> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account