Grandi idee della matematica uscita 28

DA TURING A GOOGLE. COMPUTAZIONE E PROGRAMMAZIONE - Nel 1936, e dopo aver seguito percorsi separati e indipendenti, Alan Turing e Alonso Church diedero vita a una teoria su che cosa pu essere calcolato e che cosa no. Questo volume unintroduzione a tale teoria, conosciuta come teoria della computabilit. A quasi un secolo dagli studi di Turing e Church, e dopo i contributi di Kurt Gdel e Stephen C. Kleene, tra gli altri, alcune costruzioni matematiche utilizzate nella citata teoria in accordo con le esigenze formali dellepoca possono essere sostituite da altre molto pi semplici, rendendo lesposizione degli aspetti chiave pi accessibile, ma non meno generale e rigorosa. Questa stata la scelta dellautore di questo libro, che utilizza moderni concetti di programmazione per spiegare i risultati pi rilevanti della teoria della computazione.