Corrado Böhm

Corrado Böhm
	; Irudi gehiago
Bizitza
Jaiotza	Milan, 1923ko urtarrilaren 17a
Herrialdea	Italiako Erresuma (1923ko urtarrilaren 17a - 1946ko ekainaren 18a); Italia (1946ko ekainaren 18a - 2017ko urriaren 23a)
Heriotza	Erroma, 2017ko urriaren 23a (94 urte)
Hezkuntza
Heziketa	ETH Zürich ; Swiss Federal Institute of Technology in Lausanne (en)
Tesi zuzendaria	Eduard Stiefel (mul) ; Paul Bernays (en)
Doktorego ikaslea(k)	Giorgio Ausiello (en) ; Mariangiola Dezani-Ciancaglini (en) ; Stefano Guerrini (en) ; Simona Ronchi Della Rocca (en)
Hizkuntzak	italiera
Jarduerak
Jarduerak	matematikaria, informatikaria, ingeniaria, unibertsitateko irakaslea eta logikaria
Lantokia(k)	Turin eta Erroma
Enplegatzailea(k)	Erromako La Sapienza Unibertsitatea ; Turingo Unibertsitatea
Jasotako sariak	ikusi EATCS award (2001) ; honorary doctor of the University of Milan (1994) ;
Kidetza	Academia Europaea (en)
	corradobohm.it

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. ^[1]

Lambda kalkuluan, forma normalen arteko bereizketaren teorema garrantzitsu bat ezarri zuen, Böhm-en teorema bezala ezagutzen dena. Teorema horrek ezartzen duenez, T₁ eta T₂ bi λ-termino itxi bakoitzeko, βη forma-normal desberdinak dituztenak, λ-termino bat existitzen da, non λ T₁ eta λ T₂ 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.