Corrado Böhm

Corrado Böhm (1923ko urtarrilaren 17a - 2017ko urriaren 23a) "La Sapienza" Erromako Unibertsitateko irakasle emeritua izan zen eta informatikari ezaguna da honako arloetan egindako ekarpenengatik:  programazio egituratuaren teorian, matematika konstruktiboan, logika konbinatorioan, lambda kalkuluan eta semantika eta programazio funtzionalen inplementazioan.

Lana
Bere doktore-tesian (Matematika, ETH Zurich-en, 1951an; 1954an argitaratua), Böhm-ek konpiladore metazirkular oso bat deskribatzen du lehen aldiz, hau da, programazio-lengoaia baten itzulpen-mekanismo bat, lengoaia horretan bertan idatzitakoa. Eragin handiena izan duen ekarpena, 1966an Giuseppe Jacopinirekin batera argitaratutako programa egituratuaren teorema izenekoa da. Alessandro Berarduccirekin batera, datu-mota aljebraiko erabat positiboen eta lambda polimorfiko terminoen arteko isomorfismoa erakutsi zuen, Böhm-Berarducciren kodifikazioa ere deituak. 

Lambda kalkuluan, forma normalen arteko bereizketaren teorema garrantzitsu bat ezarri zuen, Böhm-en teorema bezala ezagutzen dena. Teorema horrek ezartzen duenez, T1 eta T2 bi λ-termino itxi bakoitzeko, βη forma-normal desberdinak dituztenak, λ-termino bat existitzen da, non λ T1 eta λ T2 aldagai libre desberdinak ebaluatzen dituzten (hau da, barrutik bereiz daitezke). Horrek esan nahi du, termino normalizatzaileen kasuan, Morrisen testuinguru-baliokidetasuna, propietate semantikoa dena, forma normalen berdintasunaren bidez erabaki daitekeela, propietate sintaktiko bat, β-berdintasunarekin bat datorrelako.

1993an, bere 70. urtebetetzean, Theoretical Computer Science-ren ale berezi bat eskaini zitzaion. EATCS 2001 Saria jaso zuen informatika teorikoan egindako ibilbide bikainagatik.

 Hautatutako argitalpenak 
 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, IV. seriea, XXXVII. liburukia, 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.
 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, Erroma, 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.

 Erreferentziak 

Kanpo estekak
 Vitae (University of Rome)
 "A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday", Theoretical Computer Science, 121 alea, 1&2 zenbakiak, 1993.
 Corrado Böhm's personal page.

Kategoria:Italiako informatikariak
Kategoria:Milandarrak