Um compilador metacircular completo, capaz de traduzir uma linguagem de programação enquanto está escrito nessa mesma linguagem, foi descrito pela primeira vez numa tese de doutoramento em 1951. Este trabalho pioneiro de Corrado Böhm estabeleceu uma base para a ciência da computação, colmatando a lacuna entre a teoria matemática e a implementação prática em máquinas através da sua extensa investigação em programação funcional, cálculo lambda e lógica de programas estruturados.
Base académica
Nascido em Milão em 1923, Böhm manteve a cidadania do Reino de Itália e, mais tarde, de Itália. Frequentou os seus estudos na ETH Zurique e no Instituto Federal Suíço de Tecnologia em Lausana. A sua formação formal em matemática e lógica forneceu a base para a sua posterior carreira académica como professor universitário em Turim e Roma, onde serviu na Universidade de Roma La Sapienza.
Contribuições para a programação estruturada
Em 1966, Böhm foi coautor de um artigo fundamental com Giuseppe Jacopini sobre diagramas de fluxo e máquinas de Turing. Esta publicação introduziu a P'', uma linguagem imperativa mínima concebida sem instruções GOTO, que se provou ser Turing-completa. Este esforço foi central para o desenvolvimento da programação estruturada, fornecendo um quadro teórico que continua a ser influente na conceção e implementação de linguagens de programação modernas.
Cálculo lambda e investigação teórica
Böhm fez avanços significativos no cálculo lambda através do que é agora conhecido como o teorema de Böhm. Este resultado estabeleceu um teorema de separação para formas normais, demonstrando que a equivalência contextual poderia ser determinada através da igualdade sintática. Além disso, a sua investigação sobre o isomorfismo entre lambda-termos polimórficos e tipos de dados algébricos, conhecido como a codificação de Böhm-Berarducci, promoveu o estudo da semântica da programação funcional.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Reconhecimento profissional
Ao longo do seu mandato em Roma e Turim, as contribuições de Böhm para o construtivismo e a lógica combinatória valeram-lhe reconhecimento internacional. Recebeu um doutoramento honoris causa da Universidade de Milão em 1994 e foi galardoado com o Prémio EATCS em 2001 pela sua distinta carreira. Foi também membro da Academia Europaea até à sua morte em Roma em 2017.
Factos rápidos
- Nascimento: 1923, Milão - Falecimento: 2017, Roma - Educação: ETH Zurique, Instituto Federal Suíço de Tecnologia em Lausana - Prémio chave: Prémio EATCS (2001) - Membro académico: Academia Europaea - Título honorífico: Universidade de Milão (1994)
Perguntas frequentes dos leitores
### O que é a codificação de Böhm-Berarducci?
É um isomorfismo entre tipos de dados algébricos estritamente positivos e lambda-termos polimórficos.
### O que demonstrou o artigo de 1966 com Giuseppe Jacopini?
Introduziu a P'', a primeira linguagem imperativa sem instruções GOTO que se provou ser Turing-completa.
