HTML Microdata document

This HTML5 document contains 18 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Prefix	Namespace IRI
category-es	http://es.dbpedia.org/resource/CategorÃa:
dct	http://purl.org/dc/terms/
wikipedia-es	http://es.wikipedia.org/wiki/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
n13	http://rdf.freebase.com/ns/m.
n12	http://es.wikipedia.org/wiki/NumeraciÃ³n_de_GÃ¶del?oldid=117376476&ns=
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
dbr	http://dbpedia.org/resource/

Subject Item: dbpedia-es:NumeraciÃ³n_de_GÃ¶del
rdfs:label: Numeración de Gödel
rdfs:comment: La numeración de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN). El concepto fue utilizado por primera vez por Kurt Gödel para la demostración del teorema de Incompletitud de Gödel.
owl:sameAs: n13:01dht6
dct:subject: category-es:MetalÃ³gica category-es:Computabilidad category-es:Lenguajes_formales
foaf:isPrimaryTopicOf: wikipedia-es:NumeraciÃ³n_de_GÃ¶del
dbo:wikiPageID: 964679
dbo:wikiPageRevisionID: 117376476
dbo:wikiPageLength: 5709
prov:wasDerivedFrom: n12:0
dbo:abstract: La numeración de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN). El concepto fue utilizado por primera vez por Kurt Gödel para la demostración del teorema de Incompletitud de Gödel. La enumeración de un conjunto de funciones computables se denomina también enumeración de Gödel o enumeración efectiva. Una enumeración de Gödel se puede interpretar como un lenguaje de programación donde los números de Gödel están asignados a cada función computable igual que los programas de cálculos a los valores para la función en este lenguaje de programación.