<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/5062> .
<http://cogprints.org/id/eprint/5062> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://cogprints.org/id/eprint/5062> <http://purl.org/dc/terms/title> "Hilbert's machine and the Axiom of Infinity"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/5062> <http://purl.org/ontology/bibo/abstract> "Hilbert's machine is a supertask machine inspired by Hilbert's Hotel whose functioning leads to a contradiction that compromises the Axiom of Infinity."^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/5062> <http://purl.org/dc/terms/date> "2006-08" .
<http://cogprints.org/id/document/3203> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://cogprints.org/id/eprint/5062> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/nonPeerReviewed> .
<http://cogprints.org/id/eprint/5062> <http://purl.org/dc/terms/creator> <http://cogprints.org/id/person/ext-07b8bfdfa164da37ab0992287c28a7ac> .
<http://cogprints.org/id/eprint/5062> <http://purl.org/ontology/bibo/authorList> <http://cogprints.org/id/eprint/5062#authors> .
<http://cogprints.org/id/eprint/5062#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://cogprints.org/id/person/ext-07b8bfdfa164da37ab0992287c28a7ac> .
<http://cogprints.org/id/person/ext-07b8bfdfa164da37ab0992287c28a7ac> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://cogprints.org/id/person/ext-07b8bfdfa164da37ab0992287c28a7ac> <http://xmlns.com/foaf/0.1/givenName> "Antonio"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-07b8bfdfa164da37ab0992287c28a7ac> <http://xmlns.com/foaf/0.1/familyName> "Leon"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-07b8bfdfa164da37ab0992287c28a7ac> <http://xmlns.com/foaf/0.1/name> "Antonio Leon"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/5062> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://cogprints.org/id/eprint/5062> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/PreprintEPrint> .
<http://cogprints.org/id/eprint/5062> <http://purl.org/dc/terms/isPartOf> <http://cogprints.org/id/repository> .
<http://cogprints.org/id/eprint/5062> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/3203> .
<http://cogprints.org/id/document/3203> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/3203> <http://www.w3.org/2000/01/rdf-schema#label> "Hilbert's machine and the Axiom of Infinity (PDF)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/document/3203> <http://eprints.org/relation/hasVolatileVersion> <http://cogprints.org/id/document/6555> .
<http://cogprints.org/id/document/3203> <http://eprints.org/relation/haspreviewThumbnailVersion> <http://cogprints.org/id/document/6555> .
<http://cogprints.org/id/document/3203> <http://eprints.org/relation/hasVersion> <http://cogprints.org/id/document/6555> .
<http://cogprints.org/id/document/3203> <http://eprints.org/relation/hasVolatileVersion> <http://cogprints.org/id/document/8233> .
<http://cogprints.org/id/document/3203> <http://eprints.org/relation/hasVersion> <http://cogprints.org/id/document/8233> .
<http://cogprints.org/id/document/3203> <http://eprints.org/relation/hasIndexCodesVersion> <http://cogprints.org/id/document/8233> .
<http://cogprints.org/id/document/3203> <http://eprints.org/ontology/hasFile> <http://cogprints.org/5062/1/HilbertMachine.pdf> .
<http://cogprints.org/id/document/3203> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/5062/1/HilbertMachine.pdf> .
<http://cogprints.org/5062/1/HilbertMachine.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "HilbertMachine.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/5062> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/6555> .
<http://cogprints.org/id/document/6555> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/6555> <http://www.w3.org/2000/01/rdf-schema#label> "Hilbert's machine and the Axiom of Infinity (Image (PNG))"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/document/6555> <http://eprints.org/relation/isVolatileVersionOf> <http://cogprints.org/id/document/3203> .
<http://cogprints.org/id/document/6555> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <http://cogprints.org/id/document/3203> .
<http://cogprints.org/id/document/6555> <http://eprints.org/relation/isVersionOf> <http://cogprints.org/id/document/3203> .
<http://cogprints.org/id/document/6555> <http://eprints.org/ontology/hasFile> <http://cogprints.org/5062/2/preview.png> .
<http://cogprints.org/id/document/6555> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/5062/2/preview.png> .
<http://cogprints.org/5062/2/preview.png> <http://www.w3.org/2000/01/rdf-schema#label> "preview.png"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/5062> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/8233> .
<http://cogprints.org/id/document/8233> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/8233> <http://www.w3.org/2000/01/rdf-schema#label> "Hilbert's machine and the Axiom of Infinity (Indexer Terms)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/document/8233> <http://eprints.org/relation/isVersionOf> <http://cogprints.org/id/document/3203> .
<http://cogprints.org/id/document/8233> <http://eprints.org/relation/isVolatileVersionOf> <http://cogprints.org/id/document/3203> .
<http://cogprints.org/id/document/8233> <http://eprints.org/relation/isIndexCodesVersionOf> <http://cogprints.org/id/document/3203> .
<http://cogprints.org/id/document/8233> <http://eprints.org/ontology/hasFile> <http://cogprints.org/5062/3/indexcodes.txt> .
<http://cogprints.org/id/document/8233> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/5062/3/indexcodes.txt> .
<http://cogprints.org/5062/3/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/5062> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://cogprints.org/5062/> .
<http://cogprints.org/5062/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #5062 \n\nHilbert's machine and the Axiom of Infinity\n\n" .
<http://cogprints.org/5062/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://cogprints.org/5062/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/5062> .
<http://cogprints.org/id/subject/phil-logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://cogprints.org/id/subject/phil-logic> <http://www.w3.org/2004/02/skos/core#prefLabel> "Logic" .
<http://cogprints.org/id/eprint/5062> <http://purl.org/dc/terms/subject> <http://cogprints.org/id/subject/phil-logic> .
<http://cogprints.org/id/subject/phil-sci> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://cogprints.org/id/subject/phil-sci> <http://www.w3.org/2004/02/skos/core#prefLabel> "Philosophy of Science" .
<http://cogprints.org/id/eprint/5062> <http://purl.org/dc/terms/subject> <http://cogprints.org/id/subject/phil-sci> .
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>