Introduzione allo studio dell'informatica teorica: differenze tra le versioni

I loro articoli diedero inizio allo sviluppo di due formalismi per la rappresentazione della computazione: il <math>\lambda</math> calcolo di Curch e la macchina di Turing, oggi conosciuti come due tra i formalismi massimi.

 

Qualche tentativo era stato compiuto, con fortune alterne, prima di allora: si ricordano in particolare la macchina analitica di Babbage e soprattutto la macchina di Leibnitz, che aveva introdotto l'impiego del sistema binario nelle calcolatrici.

Il resto è storia recente: l'invenzione dei calcolatori, basati su modelli analoghi a quelli ideati da Turing, ha comportato una rapida evoluzione di tutti i settori coinvolti, con particolare attenzione per l'elettronica e per il software.