Número de Gödel: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Bot: A migrar 12 interwikis, agora providenciados por Wikidata em d:Q1451046 |
|||
Linha 6:
== Codificação de Gödel ==
Gödel utilizou um sistema de numeração de Gödel baseada na fatoração de primos. Primeiro, ele atribuiu um número natural único para cada símbolo básico na linguagem formal da aritmética com a qual ele estava lidando.
Para codificar uma fórmula completa, que é uma seqüência de símbolos, Gödel utilizou o seguinte sistema. Dada uma seqüência <math>x_1 x_2 x_3 ... x_n</math> de números inteiros positivos, a codificação de seqüência de Gödel é o produto dos ''n'' primeiros números primos elevados a seus valores correspondentes na seqüência:
|