Platonistic formalism
Platonistic formalism
Loading...
Date
2001
Authors
Editors
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
International patent number
Link to the license
EU project number
Project
Open Access publication
Collections
Title in another language
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 690
HORSTEN, Leon, 2001. Platonistic formalism. In: Erkenntnis. Springer. 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390BibTex
@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
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