Matematico statunitense (New York 1947). Ha apportato importanti contributi alla teoria algoritmica dell'informazione (AIT), combinando il metodo di C. Shannon (') e la teoriadellacomputabilità di A.M. [...] Turing ('). Autore di molti saggi, i suoi studi hanno portato a dimostrare l'esistenza della casualità anche in aritmetica. ...
Leggi Tutto
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] computabilità e nel 1943 fornì una precisazione della nozione di algoritmo (algoritmo di P.); si occupò inoltre del problema della riducibilità e di problemi di decisione, sviluppando la nozione di gradi di insolubilità. Importante la sua teoria ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...