![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/9/93/CorradoBoemETAPS2013_2013-03-22_0.33.36.jpg/640px-CorradoBoemETAPS2013_2013-03-22_0.33.36.jpg&w=640&q=50)
Corrado Böhm
cientista italiano / De Wikipedia, a enciclopédia encyclopedia
Corrado Böhm (Milão, 17 de janeiro de 1923 – Roma, 23 de outubro de 2017[1]) foi um cientista da computação italiano. Contribuiu com as teorias de programação estruturada, cálculo Lambda, lógica combinatória e com as semânticas e com a implementação de linguagens de programação funcional.
Factos rápidos Página oficial ...
Corrado Böhm | |
---|---|
P′′ | |
Nascimento | 17 de janeiro de 1923 Milão |
Morte | 23 de outubro de 2017 (94 anos) Roma |
Nacionalidade | italiano |
Cidadania | Reino de Itália, Itália |
Alma mater | |
Ocupação | matemático, cientista de computação, engenheiro, professor universitário, lógico |
Prêmios |
|
Empregador(a) | Universidade de Roma "La Sapienza", Universidade de Turim |
Campo(s) | ciência da computação |
Página oficial | |
http://www.corradobohm.it/ | |
Fechar
Foi o criador da linguagem P′′, uma linguagem Turing completa, ou seja, com o mesmo poder computacional de uma Máquina de Turing.