Destarte, enquanto os computadores analógicos operam com quantidades contínuas, todos os computadores digitais são máquinas de função descontínua. Como estabelece A. M. Turing, famoso por suas definições a respeito da essência de um computador digital:
(As máquinas de função descontínua) movem-se aos saltos ou a cliques, de um estado bem definido para outro. Esses estados são suficientemente diferentes para que se ignore a possibilidade de confusão entre si. Rigorosamente falando, não existem tais máquinas. Tudo realmente move-se continuamente. Mas há muitos tipos de máquinas que podem proveitosamente ser considerados como máquinas de função descontínua. Por exemplo: considerando-se os interruptores de um sistema elétrico, é uma ficção conveniente que cada interruptor deva ficar definidamente ligado ou definidamente desligado. Devem existir posições intermediárias, mas em benefício de muitos propósitos, podemos esquecer tais posições. [[A. M. Turing, “Computing Machinery and Intelligence”, republicado em Minds and Machines, ad. Alan Ross Anderson (Englewood Cliffs, N.J.: Prentice Hall, 1964), pág. 11.]]
As ideias de Babbage eram muito avançadas para a tecnologia de sua época, pois não havia um modo rápido e eficiente para representar e manipular os dígitos. Ele tinha de usar dispositivos mecânicos inadequados, tais como a posição de rodas dentadas para representar os estados descontínuos. Os interruptores elétricos, todavia, propiciaram o necessário avanço qualitativo tecnológico. Quando, em 1944, H. H. Aiken construiu realmente o primeiro computador digital prático, este era eletromecânico, utilizando cerca de 3.000 relés telefônicos. Entretanto, ainda eram vagarosos e só a partir da geração seguinte de computadores, que utilizavam tubos de vácuo, é que ficou pronto o moderno computador eletrônico.
Pronto para qualquer coisa. Pois, desde que um computador digital opera com símbolos abstratos que podem representar qualquer coisa e operações lógicas que podem relacionar qualquer coisa com qualquer coisa, todo computador digital (diferentemente de um computador analógico) é uma máquina universal. De saída, como estabelece Turing, ele pode simular qualquer outro computador digital.
Esta propriedade especial dos computadores digitais, que lhes permite imitar qualquer máquina de função descontínua, descreve-se pela expressão de que eles são máquinas universais. A existência de máquinas com essa propriedade tem a importante consequência de que, à parte as observações sobre a velocidade, é desnecessário projetar várias máquinas novas para realizarem diversos processos de computação. Todos eles podem ser feitos com um computador digital, adequadamente programado para cada caso. Ver-se-á que, em consequência disso, todos os computadores digitais são equivalentes, em certo sentido.
Em segundo lugar, e filosoficamente mais importante, qualquer processo que se possa formalizar de modo a ser representado como séries de instruções para a manipulação de elementos descontínuos pode, pelo menos em princípio, ser reproduzido por esse tipo de máquina. Destarte, mesmo um computador analógico, desde que a relação entre sua entrada e sua saída possa ser descrita por uma função matemática precisa, pode operar como se fora uma máquina digital. [[No Capítulo 5, teremos oportunidade de ver como este princípio inspira forte confiança, porém injustificada, naqueles que trabalham na simulação do processo do pensamento humano com máquinas digitais.]]
Mas tais máquinas poderiam ter permanecido como máquinas de somar superdesenvolvidas não tivesse a visão de Platão, refinada por dois mil anos de metafísica, descoberto nelas sua plena realização. Eis aqui, finalmente, uma máquina que operava segundo regras sintáticas, sobre “bits” de dados. Além do mais, as regras estavam compostas nos circuitos da máquina. Uma vez programada a máquina, não mais havia necessidade de interpretação, nenhum apelo à intuição e aos critérios humanos. Havia, apenas, o que Hobbes e Leibniz tinham ordenado, tendo Martin Heidegger visto adequadamente na cibernética o ápice da tradição filosófica. [[Martin Heidegger, “La fin de la Philosophie et la tâche de la pensée”, em Kierkegaard vivant (Paris: Gallimard, 1966), pág. 178-179. (Minha tradução). “A filosofia chegou a um termo na época atual. Descobriu seu lugar no campo da visão científica… A característica fundamental da determinação científica é o fato de ser cibernética…”]]
Assim, enquanto homens práticos como Eckert e Mauchly, na Universidade de Pensilvânia, projetavam a primeira máquina digital eletrônica, teóricos tais como Turing, tentando apreender a essência e a capacidade de tais máquinas, interessavam-se em uma área que, até então, fora por muito tempo a província dos filósofos : a natureza da própria razão.