Corrado Böhm

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Corrado Böhm
Conhecido(a) por P′′
Nascimento 17 de janeiro de 1923
Milão
Morte 23 de outubro de 2017 (94 anos)
Roma
Nacionalidade Italiano
Campo(s) Ciência da computação

Corrado Böhm (Milão, 17 de janeiro de 1923  – 23 de outubro de 2017[1]) foi um cientista da computação da Itália. 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.

Foi o criador da linguagem P′′, uma linguagem Turing completa, ou seja, com o mesmo poder computacional de uma Máquina de Turing.

Referências

  1. Maurizio Codogno (25 de outubro de 2017). «È morto Corrado Böhm» (em italiano). ilpost.it 

Ver também[editar | editar código-fonte]

Ícone de esboço Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.