Corrado Böhm

Hoje, Corrado Böhm é um tema altamente relevante e atual que chama a atenção de especialistas e do público em geral. É um tema que não deixa ninguém indiferente, pois as suas repercussões podem ser muito significativas nas diversas áreas da sociedade. Por esse motivo, é importante aprofundar-se em Corrado Böhm para compreender o seu impacto e gerar um debate informado sobre o mesmo. Neste artigo exploraremos diferentes aspectos de Corrado Böhm, desde sua origem e evolução até suas possíveis implicações no futuro. Além disso, analisaremos diversas perspectivas sobre Corrado Böhm com o objetivo de enriquecer o conhecimento e proporcionar uma visão mais completa e global sobre este tema.

Corrado Böhm
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
Distinções
  • Prêmio EATCS (2001)
  • honorary doctor of the University of Milan (1994)
Empregador(a) Universidade de Roma La Sapienza, Universidade de Turim
Orientador(a)(es/s) Eduard Stiefel, Paul Bernays
Campo(s) ciência da computação
Página oficial
http://www.corradobohm.it/

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.

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

Publicações selecionadas

  • C. Böhm, "Calculatrices digitales. Du déchiffrage des formules mathématiques par la machine même dans la conception du programme", Annali di Mat. pura e applicata, serie IV, tomo XXXVII, 1–51, 1954. PDF at ETH Zürich English translation 2016 by Peter Sestoft
  • C. Böhm, "On a family of Turing machines and the related programming language", ICC Bull., 3, 185–194, July 1964.
    Introduziu P′′, a primeira linguagem imperativa sem GOTO que provou ser Turing-completa.
  • C. Böhm, G. Jacopini, "Flow diagrams, Turing Machines and Languages with only Two Formation Rules", Comm. of the ACM, 9(5): 366–371,1966.
  • C. Böhm, "Alcune proprietà delle forme β-η-normali nel λ-K-calcolo", Pubbl. INAC, n. 696, Roma, 1968.
  • C. Böhm, A. Berarducci, "Automatic Synthesis of typed Lambda-programs on Term Algebras", Theoretical Computer Science, 39: 135–154, 1985.
  • C. Böhm, "Functional Programming and Combinatory algebras", MFCS, Carlsbad, Czechoslovakia, eds M.P. Chytil, L. Janiga and V. Koubek, LNCS 324, 14–26, 1988.

Referências

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

Ver também