Corrado Böhm: berrikuspenen arteko aldeak
Corrado Böhm artikulua eginda. |
(Ez dago alderik)
|
11:58, 1 abendua 2023ko berrikusketa
| Corrado Böhm | |
|---|---|
| Informatikaria | |
 | |
| Datu biografikoak | |
| Jaiotza | Milan, 1923ko urtarrilaren 17a, 1923ko urtarrilaren 17a |
| Heriotza | Erroma, 2017ko urriaren 23a, 2017ko urriaren 23a |
| Herrialdea | Italiako Erresuma eta Italia |
| Sexua | Gizona |
| Jarduera | matematikaria informatikaria ingeniaria unibertsitateko irakaslea logikaria |
| corradobohm.it | |
Corrado Böhm (1923ko urtarrilaren 17a - 2017ko urriaren 23a) "La Sapienza" Erromako Unibertsitateko irakasle emeritua izan zen eta informatikari ezaguna programazio egituratuaren teoriari, matematika konstruktiboei, logika konbinatorioari, lambda kalkuluari eta semantikari eta programazio funtzionalen inplementazioari egindako ekarpenengatik.
Lana
Bere doktore-tesian (Matematika, ETH Zurich-en, 1951an; 1954an argitaratua), Böhm-ek konpiladore metazikular 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
- 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.
- Introduced P′′, Turing-en osoa dela frogatu den GOTO gabeko lehen hizkuntza inperatiboa
- 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
Kanpoko estekak
- "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.