Tesi di Church-Turing
Era: Teoria Precoce · anni 1930–anni 1950
Alonzo Church e Alan Turing proposero indipendentemente la celebre tesi di Church-Turing. Questa tesi afferma che ogni funzione effettivamente calcolabile è Turing-calcolabile. Ciò formalizza la nozione intuitiva di «calcolabilità» e divenne il fondamento dell’informatica.
Alonzo Church e Alan Turing
Fonti e riscontri
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Tipo di fonte: Sintesi secondaria
Spiega le formulazioni indipendenti del 1936 e il nome dato in seguito di «tesi di Church-Turing».
Consultato: