Corrado Böhm
| Corrado Böhm | |
|---|---|
 | |
| 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 École polytechnique fédérale de Lausanne |
| Tesi zuzendaria | Eduard Stiefel Paul Bernays (en)  |
| Doktorego ikaslea(k) | Giorgio Ausiello (en) Mariangiola Dezani-Ciancaglini (en) Stefano Guerrini Simona Ronchi Della Rocca |
| 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
|
| Kidetza | [[Academia Europaea [The Academy of Europe]|Academia Europaea [The Academy of Europe]]] |
| 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
[aldatu | aldatu iturburu kodea]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, 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
[aldatu | aldatu iturburu kodea]- 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
[aldatu | aldatu iturburu kodea]Kanpo estekak
[aldatu | aldatu iturburu kodea]- 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.
Datuak: Q943361
Multimedia: Corrado Böhm / Q943361