@prefix epid: <http://cogprints.org/id/> .
  @prefix dc: <http://purl.org/dc/elements/1.1/> .
  @prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .
  @prefix bibo: <http://purl.org/ontology/bibo/> .
  @prefix epx: <http://cogprints.org/id/x-> .
  @prefix owl: <http://www.w3.org/2002/07/owl#> .
  @prefix void: <http://rdfs.org/ns/void#> .
  @prefix event: <http://purl.org/NET/c4dm/event.owl#> .
  @prefix skos: <http://www.w3.org/2004/02/skos/core#> .
  @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
  @prefix cc: <http://creativecommons.org/ns#> .
  @prefix ep: <http://eprints.org/ontology/> .
  @prefix foaf: <http://xmlns.com/foaf/0.1/> .
  @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
  @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
  @prefix eprel: <http://eprints.org/relation/> .
  @prefix dct: <http://purl.org/dc/terms/> .

<>
	foaf:primaryTopic <http://cogprints.org/id/eprint/356>;
	rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .

<http://cogprints.org/356/1/lucas.html>
	rdfs:label "lucas.html"^^xsd:string .

<http://cogprints.org/356/2/indexcodes.txt>
	rdfs:label "indexcodes.txt"^^xsd:string .

<http://cogprints.org/356/>
	dc:format "text/html";
	dc:title "HTML Summary of #356 \n\nMinds, Machines and Goedel\n\n";
	foaf:primaryTopic <http://cogprints.org/id/eprint/356> .

<http://cogprints.org/id/document/10504>
	dct:hasPart <http://cogprints.org/356/1/lucas.html>;
	ep:hasFile <http://cogprints.org/356/1/lucas.html>;
	rdf:type bibo:Document,
		ep:Document;
	rdfs:label "Minds, Machines and Goedel (HTML)"^^xsd:string .

<http://cogprints.org/id/document/13510>
	dct:hasPart <http://cogprints.org/356/2/indexcodes.txt>;
	ep:hasFile <http://cogprints.org/356/2/indexcodes.txt>;
	eprel:isIndexCodesVersionOf <http://cogprints.org/id/document/10504>;
	eprel:isVersionOf <http://cogprints.org/id/document/10504>;
	eprel:isVolatileVersionOf <http://cogprints.org/id/document/10504>;
	rdf:type ep:Document;
	rdfs:label "Minds, Machines and Goedel (Indexer Terms)"^^xsd:string .

<http://cogprints.org/id/eprint/356#authors>
	rdf:_1 <http://cogprints.org/id/person/ext-f9e86b9d91d3568fcf7a3e0e9f325e2d> .

<http://cogprints.org/id/eprint/356>
	bibo:abstract "Goedel's theorem states that in any consistent system which is strong enough to produce simple arithmetic there are formulae which cannot be proved-in-the-system, but which we can see to be true. Essentially, we consider the formula which says, in effect, \"This formula is unprovable-in-the-system\". If this formula were provable-in-the-system, we should have a contradiction: for if it were provablein-the-system, then it would not be unprovable-in-the-system, so that \"This formula is unprovable-in-the-system\" would be false: equally, if it were provable-in-the-system, then it would not be false, but would be true, since in any consistent system nothing false can be provedin-the-system, but only truths. So the formula \"This formula is unprovable-in-the-system\" is not provable-in-the-system, but unprovablein-the-system. Further, if the formula \"This formula is unprovablein- the-system\" is unprovable-in-the-system, then it is true that that formula is unprovable-in-the-system, that is, \"This formula is unprovable-in-the-system\" is true. Goedel's theorem must apply to cybernetical machines, because it is of the essence of being a machine, that it should be a concrete instantiation of a formal system. It follows that given any machine which is consistent and capable of doing simple arithmetic, there is a formula which it is incapable of producing as being true---i.e., the formula is unprovable-in-the-system-but which we can see to be true. It follows that no machine can be a complete or adequate model of the mind, that minds are essentially different from machines."^^xsd:string;
	bibo:authorList <http://cogprints.org/id/eprint/356#authors>;
	bibo:status <http://purl.org/ontology/bibo/status/peerReviewed>,
		<http://purl.org/ontology/bibo/status/published>;
	bibo:volume "36";
	dct:creator <http://cogprints.org/id/person/ext-f9e86b9d91d3568fcf7a3e0e9f325e2d>;
	dct:date "1961";
	dct:isPartOf <http://cogprints.org/id/repository>,
		<http://cogprints.org/id/publication/ext-0ad62a1afb439edbeeddf466c0ee7b8a>;
	dct:subject <http://cogprints.org/id/subject/cog-psy>,
		<http://cogprints.org/id/subject/comp-sci-art-intel>,
		<http://cogprints.org/id/subject/phil-logic>,
		<http://cogprints.org/id/subject/phil-mind>,
		<http://cogprints.org/id/subject/phil-sci>;
	dct:title "Minds, Machines and Goedel"^^xsd:string;
	ep:hasDocument <http://cogprints.org/id/document/10504>,
		<http://cogprints.org/id/document/13510>;
	rdf:type bibo:Article,
		ep:EPrint,
		ep:JournalpEPrint;
	rdfs:seeAlso <http://cogprints.org/356/> .

<http://cogprints.org/id/subject/cog-psy>
	rdf:type skos:Concept;
	skos:prefLabel "Cognitive Psychology" .

<http://cogprints.org/id/subject/comp-sci-art-intel>
	rdf:type skos:Concept;
	skos:prefLabel "Artificial Intelligence" .

<http://cogprints.org/id/subject/phil-logic>
	rdf:type skos:Concept;
	skos:prefLabel "Logic" .

<http://cogprints.org/id/subject/phil-mind>
	rdf:type skos:Concept;
	skos:prefLabel "Philosophy of Mind" .

<http://cogprints.org/id/subject/phil-sci>
	rdf:type skos:Concept;
	skos:prefLabel "Philosophy of Science" .

<http://cogprints.org/id/person/ext-f9e86b9d91d3568fcf7a3e0e9f325e2d>
	foaf:familyName "Lucas"^^xsd:string;
	foaf:givenName "J.R."^^xsd:string;
	foaf:name "J.R. Lucas"^^xsd:string;
	rdf:type foaf:Person .

<http://cogprints.org/id/publication/ext-0ad62a1afb439edbeeddf466c0ee7b8a>
	foaf:name "Philosophy"^^xsd:string;
	rdf:type bibo:Collection .