Respostas:
A numeração de Gödel em ciência da computação significa mais ou menos "código-fonte" e "dados em formato binário"; portanto, espero que o significado disso seja óbvio se puder convencê-lo de que realmente é assim.
Antes da existência dos computadores modernos, as pessoas criavam dispositivos de computação de uso único (estou contando uma história, não uma história), por exemplo, alguém criou uma máquina para calcular e outra pessoa fez uma máquina para calcular a função Bessel. O insight original de Turing foi que apenas tivemos que construir uma máquina (auniversal), que tomou como entrada a descrição de qualquer máquina e a simulou. Mas o que é uma "descrição de uma máquina"? Um engenheiro pode pensar em projetos de circuitos e instruções de montagem. Mas isso é muito complicado e não é facilmente apresentado a uma máquina. E talvez máquinas cada vez mais complicadas exijam descrições cada vez mais complicadas?
Precisamos de uma maneira de descrever as máquinas o mais simples possível. Aqui a idéia de Gödel era importante: ele mostrou alguns anos antes de Turing que todo tipo de coisa na lógica (fórmulas, provas) poderia ser codificada com números e depois manipulada dentro da aritmética. Podemos fazer um truque semelhante com as máquinas de Turing: codificar o programa, o estado atual e o conteúdo da fita usada até o momento, com uma sequência de símbolos em uma fita (por exemplo, e 1 ), e depois manipular a corda com uma máquina de Turing.
Na prática, não escrevemos seqüências de e 1 quando programamos. Usamos outra camada de codificação e escrevemos "código fonte", que é traduzido para 0 e 1 (o "código de máquina") pelos compiladores. Mas, na verdade cientistas da computação início fez anote 's e 1 é directamente por interruptores de inversão. Isso foi Gödelization em sua forma pura.
Na prática, representam programas e dados em uma variedade de formatos conhecidos como .java, .py, .mp3, .jpg, etc. Na lógica e teoria da computação pessoas preferem ficar com os bons números antigos, porque eles são mais facilmente manipulados dentro da matemática.
Hoje em dia todo mundo sabe que "os computadores fazem tudo em termos de e 1 ". Esse fato tornou-se tão familiar que é difícil apreciar sua originalidade. Muitos anos atrás, quando não existiam computadores modernos, estava longe de ser óbvio que máquinas, textos, músicas, fotos e filmes podiam ser codificados com números ou sequências de 0 e .