Howard

Enciclopedia della Matematica (2017)

Howard


Howard William Alvin (1926) logico matematico statunitense. Professore all’Università della Pennsylvania e successivamente di Chicago, si è interessato in particolare di teoria della dimostrazione e ha studiato ed evidenziato legami e relazioni tra la logica intuizionista e il λ-calcolo (→ lambda-calcolo). In questo ambito il suo nome è legato al cosiddetto isomorfismo di → Curry-Howard, che pone in relazione dimostrazioni matematiche e programmi per un elaboratore.

Vedi anche
Stati Uniti d’America StatoStati Uniti d’America Stato federale dell’America Settentrionale, il cui territorio è suddiviso tra 50 Stati membri e il Distretto di Colombia, nel quale sorge la capitale Washington. La continuità territoriale degli S. fu alterata nel gennaio 1959, quando venne accordata dignità di Stato membro ...
Tag
Vocabolario
némbo
nembo némbo s. m. [lat. nĭmbus (cfr. nimbo); col sign. 1 b il termine è stato introdotto nella nomenclatura scient. dal meteorologo ingl. L. Howard nel 1803]. – 1. a. letter. Grossa nuvola scura, apportatrice di pioggia violenta: l’addensarsi...
cùmulo
cumulo cùmulo (o cùmolo) s. m. [dal lat. cumŭlus; nel sign. 2, la parola è stata introdotta nella terminologia scient. dal meteorologo ingl. L. Howard nel 1803]. – 1. Mucchio, quantità di cose, per lo più dello stesso genere, raccolte insieme:...