En teoría de los números un número 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.

rdfs:comment
  • En teoría de los números un número 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. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Numeración de Gödel (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 964679 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 5681 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 12 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 73702742 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [12 values]
Is dbpedia-owl:wikiPageWikiLink of [15 values]