Platonistic formalism

Loading...
Thumbnail Image
Date
2001
Editors
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
DOI (citable link)
ArXiv-ID
International patent number
Link to the license
EU project number
Project
Open Access publication
Collections
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
Publication type
Journal article
Publication status
Published
Published in
Erkenntnis ; 54 (2001), 2. - pp. 173-194. - Springer. - ISSN 1876-2530. - eISSN 1572-8420
Abstract
The present paper discusses a proposal which says, roughly and with several qualifications, that the collection of mathematical truths is identical with the set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright false or philosophically incoherent as one might think. Some morals of this are drawn for the concept of mathematical knowledge.
Summary in another language
Subject (DDC)
100 Philosophy
Keywords
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690HORSTEN, Leon, 2001. Platonistic formalism. In: Erkenntnis. Springer. 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390
BibTex
@article{Horsten2001Plato-56942,
  year={2001},
  doi={10.1023/A:1005632214390},
  title={Platonistic formalism},
  number={2},
  volume={54},
  issn={1876-2530},
  journal={Erkenntnis},
  pages={173--194},
  author={Horsten, Leon}
}
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/56942">
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56942/3/Horsten_2-lm4ffh6ljfxt6.pdf"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56942"/>
    <dcterms:issued>2001</dcterms:issued>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T10:47:00Z</dc:date>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:abstract xml:lang="eng">The present paper discusses a proposal which says, roughly and with several qualifications, that the collection of mathematical truths is identical with the set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright false or philosophically incoherent as one might think. Some morals of this are drawn for the concept of mathematical knowledge.</dcterms:abstract>
    <dc:creator>Horsten, Leon</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T10:47:00Z</dcterms:available>
    <dc:language>eng</dc:language>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56942/3/Horsten_2-lm4ffh6ljfxt6.pdf"/>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:title>Platonistic formalism</dcterms:title>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:rights>terms-of-use</dc:rights>
  </rdf:Description>
</rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Contact
URL of original publication
Test date of URL
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
No
Refereed
Yes