@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Algorithm_characterizations	rdf:type	ns2:FormalMethods ,
		ns2:ComputationalModels .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Algorithm_characterizations	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000000eda079> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Algorithm_characterizations	foaf:page	ns5:Algorithm_characterizations .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Algorithm_characterizations	dbpprop:reference	<http://research.microsoft.com/~gurevich/Opera/164.pdf> ,
		<http://research.microsoft.com/~gurevich/Opera/141.pdf> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Algorithm_characterizations	rdfs:label	"Algorithm characterizations"@en ;
	dbpprop:abstract	"The proofs that every \"recursive function\" we can calculate by hand we can compute by machine and vice versa\u2014note the usage of the words calculate versus compute -- is remarkable. But this equivalence together with the thesis (hypothesis, unproven assertion) that this includes every calculation/computation indicates why so much emphasis has been placed upon the use of Turing-equivalent machines in the definition of specific algorithms, and why the definition of \"algorithm\" itself often refers back to \"the Turing machine\". This is discussed in more detail under Stephen Kleene's characterization. The following are summaries of the more famous characterizations (Kleene, Markov, Knuth) together with those that introduce novel elements\u2014elements that further expand the definition or contribute to a more precise definition."@en ;
	rdfs:comment	"The proofs that every \"recursive function\" we can calculate by hand we can compute by machine and vice versa\u2014note the usage of the words calculate versus compute -- is remarkable."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Algorithm_characterizations	skos:subject	ns9:Formal_methods ,
		ns9:Computational_models ,
		ns9:Theoretical_computer_science ,
		ns9:Recursion_theory .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Algorithm_characterizations	dbpprop:hasPhotoCollection	ns10:Algorithm_characterizations .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Algorithm_characterizations	owl:sameAs	dbpedia:Algorithm_characterizations .