Platonistic formalism
| dc.contributor.author | Horsten, Leon | |
| dc.date.accessioned | 2022-03-22T10:47:00Z | |
| dc.date.available | 2022-03-22T10:47:00Z | |
| dc.date.issued | 2001 | eng |
| dc.description.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. | eng |
| dc.description.version | published | eng |
| dc.identifier.doi | 10.1023/A:1005632214390 | eng |
| dc.identifier.ppn | 1798130122 | |
| dc.identifier.uri | https://kops.uni-konstanz.de/handle/123456789/56942 | |
| dc.language.iso | eng | eng |
| dc.rights | terms-of-use | |
| dc.rights.uri | https://rightsstatements.org/page/InC/1.0/ | |
| dc.subject.ddc | 100 | eng |
| dc.title | Platonistic formalism | eng |
| dc.type | JOURNAL_ARTICLE | eng |
| dspace.entity.type | Publication | |
| kops.citation.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}
} | |
| kops.citation.iso690 | HORSTEN, Leon, 2001. Platonistic formalism. In: Erkenntnis. Springer. 2001, 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390 | deu |
| kops.citation.iso690 | HORSTEN, Leon, 2001. Platonistic formalism. In: Erkenntnis. Springer. 2001, 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390 | eng |
| 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/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> | |
| kops.description.openAccess | openaccessgreen | |
| kops.flag.isPeerReviewed | true | eng |
| kops.flag.knbibliography | false | |
| kops.identifier.nbn | urn:nbn:de:bsz:352-2-lm4ffh6ljfxt6 | |
| kops.sourcefield | Erkenntnis. Springer. 2001, <b>54</b>(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390 | deu |
| kops.sourcefield.plain | Erkenntnis. Springer. 2001, 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390 | deu |
| kops.sourcefield.plain | Erkenntnis. Springer. 2001, 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390 | eng |
| relation.isAuthorOfPublication | 7a655380-a594-49b4-a5bb-d3a6adc1f18a | |
| relation.isAuthorOfPublication.latestForDiscovery | 7a655380-a594-49b4-a5bb-d3a6adc1f18a | |
| source.bibliographicInfo.fromPage | 173 | eng |
| source.bibliographicInfo.issue | 2 | eng |
| source.bibliographicInfo.toPage | 194 | eng |
| source.bibliographicInfo.volume | 54 | eng |
| source.identifier.eissn | 1572-8420 | eng |
| source.identifier.issn | 1876-2530 | eng |
| source.periodicalTitle | Erkenntnis | eng |
| source.publisher | Springer | eng |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- Horsten_2-lm4ffh6ljfxt6.pdf
- Größe:
- 4.24 MB
- Format:
- Adobe Portable Document Format
- Beschreibung:
Lizenzbündel
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:
