Numeración de Gödel

tipo de documento Artigo de Wikipedia Dbpedia

Equipo Didactalia

Gústame 0
Visitas 0
Comentarios 0
Gardar en
Accións
- Enviar enlace

Sobre este recurso...

Numeración de Gödel

Dbpedia

Artículo WikipediaFuente Dbpedia

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.

Wikipedia Inglés http://en.wikipedia.org/wiki/Gödel_numbering

Wikipedia Español http://es.wikipedia.org/wiki/Numeración_de_Gödel

Enlaces externos relacionado http://blog.theincredibleholk.org/TarpitGazer/jot-visualization.pdf http://www.w-k-essler.de/pdfs/goedel.pdf%7Caccess-date=2013-12-07%7Carchive-url=https:/web.archive.org/web/20180411113347/http:/www.w-k-essler.de/pdfs/goedel.pdf%7Carchive-date=2018-04-11%7Curl-status=dead