Behm, Corrado

Corrado Böhm
Syntymäaika 17. tammikuuta 1923( 17.1.1923 ) [1]
Syntymäpaikka
Kuolinpäivämäärä 23. lokakuuta 2017( 23.10.2017 ) [2] (94-vuotias)
Kuoleman paikka
Maa
Tieteellinen ala tietojenkäsittelytiede , strukturoitu ohjelmointi , konstruktiivinen matematiikka , lambda - laskenta , yhdistelmälogiikka , funktionaalinen ohjelmointi ja ohjelmointikielten semantiikka
Työpaikka
Alma mater
tieteellinen neuvonantaja Eduard Stiefel [d] jaPaul Bernays
Palkinnot ja palkinnot Euroopan tietojenkäsittelyteorian liiton palkinto [d] ( 2001 ) kunniatohtorin arvo Milanon yliopistosta [d] ( 1994 )
Verkkosivusto corradobohm.it
 Mediatiedostot Wikimedia Commonsissa

Corrado Böhm ( 17. tammikuuta 1923 , Milano - 23. lokakuuta 2017 , Rooma ) - italialainen matemaatikko , tietojenkäsittelytieteilijä ja matemaattinen logiikka , joka antoi ratkaisevan panoksen strukturoidun ohjelmoinnin paradigman teoreettiseen perusteluun ja sai tärkeitä tuloksia λ-laskennassa , kombinatorinen logiikka , ohjelmointikielten semantiikka ; yksi ohjelmointikielten teorian varhaisista tutkijoista . Professori Rooman Sapienza -yliopistossa, yksi Torinon ja Sapienzan yliopistojen informatiikan tiedekunnan perustajista .

Elämäkerta

Syntynyt ja kasvanut Milanossa . Vuonna 1942 hän lähti Sveitsiin, jossa hän astui Lausannen yliopistoon . Hän valmistui vuonna 1946 sähköinsinöörin tutkintotodistuksella , minkä jälkeen hänet hyväksyttiin tutkimusassistentiksi ETH Zürichiin [3] .

Vuosina 1949-1950 hän työskenteli Zürichin sovelletun matematiikan instituutissa (osa ETH Zürichiä) Eduard Stiefelin (saksa: Eduard Stiefel) ryhmässä , Paul Bernays  työskenteli myös instituutin suunnan johtajien joukossa , joka Kuten tiedemies myöhemmin huomautti, oli vaikuttanut häneen suurella vaikutuksella, herättäen kiinnostusta laskettavuuden ja Turingin koneiden teoreettisiin kysymyksiin . Yhdessä toisen instituutin työntekijän Harry Laetin kanssa hän testasi Konrad Zusen [4] Z4 -tietokonetta , jonka Higher Technical School osti (ja siitä tuli siten maailman ensimmäinen kaupallinen tietokone). Vuonna 1951 hän valmistui Stiefelin johdolla väitöskirjansa, teos julkaistiin vuonna 1952 ja muodollinen puolustaminen tapahtui vuonna 1954.

Vuonna 1950 hän meni naimisiin padovalaisen taiteilijan Eva Romanin Yakurin kanssa, ja vuonna 1951 hän palasi Italiaan. Vuonna 1953 hän työskenteli Ivreassa Olivetti - yrityksessä , samana vuonna hänet hyväksyttiin tutkijaksi Rooman Applied Mathematical Analysis -instituuttiin ( italiaksi:  Istituto per le applicazioni del calcolo ) . Instituuttiin luotiin yhdessä brittiläisen Ferrantin kanssa Mauro Piconen ( italiaksi Mauro Picone ) johdolla ensimmäinen italialainen tietokone FINAC ja Boehm testasi sen suorituskykyä [3] . Pohjimmiltaan 1950-luvun teokset ovat omistettu instituutin pääsuunnalle - differentiaali- ja integraalilaskulle ja sen sovelluksille. 1950-luvun jälkipuoliskolla avioliitossa Evan kanssa syntyi kolme tytärtä.  

Vuodesta 1960 lähtien hän jatkoi työskentelyä Applied Mathematical Analysis -instituutissa ja alkoi opettaa tietojenkäsittelytieteen kursseja Rooman Sapienza-yliopistossa , jossa ensimmäiset jatko-opiskelijat ilmestyivät. Vuonna 1968 hän sai professorin viran.

Vuodesta 1969 hän toimi Torinon yliopiston luonnontieteiden tiedekunnan tietojenkäsittelytieteen kurssin johtajana , vuonna 1974 hän palasi Roomaan Sapienzaan. Vuonna 1975 hän järjesti yliopistossa kansainvälisen λ-laskennan konferenssin, josta tuli ensimmäinen vastaava tapahtuma tällä suunnalla ja jolla oli tärkeä rooli sen nopeassa kehityksessä seuraavalla vuosikymmenellä. Samana vuonna hän liittyi Theoretical Computer Science Journalin toimituskuntaan , jossa hän pysyi viimeisiin vuosiinsa asti; Vuonna 1993 lehti omisti erikoisnumeron tiedemiehen 70-vuotisjuhlille.

Vuonna 1990 hänet valittiin European Academyn [5] akateemioksi . Vuonna 1994 hän sai honoris causa -tutkinnon Milanon yliopistosta [6] . Vuonna 2001 hänelle myönnettiin European Association for Theoretical Computer Science ( EATCS Award ) [7] saavutuksista ohjelmointikielen teorian alalla . 

Tieteelliset julkaisut

Osana väitöskirjaansa hän loi Formules -kielen ja kääntäjän sitä varten. Suurin innovaatio oli, että kielikääntäjä kehitettiin samalla kielellä, eli siitä tuli historian ensimmäinen täydellinen meta - ympyräkääntäjä [ 8 ] .  Kääntäjäteksti vei vain 114 koodiriviä .

Vuonna 1964 hän loi ohjelmointikielen P′′  , minimalistisen kielen ilman ehdotonta hyppyoperaattoria . Luodun kielen laskennallisen ilmaisukyvyn tueksi hän osoitti vuonna 1966 yhdessä Sapienzan yliopiston opiskelijan Giuseppe Iacopinin kanssa P′′:n Turing-täydellisyyden , mikä puolestaan ​​merkitsi, että mikä tahansa algoritmi oli ilmaistavissa vain kolme ohjausrakennetta - peräkkäinen lähetyksen ohjaus, haarautuminen ja silmukka . Tämä tulos tarjosi tieteellisen perustan strukturoidulle ohjelmoinnille: vuoden 1968 muistiinpanossa Dijkstra viittasi Boehm-Jacopini-lauseeseen mahdollisuutena poistaa GOTO -operaattori kokonaan ohjelmointikäytännöstä [9] , minkä jälkeen paradigma sai yleisen hyväksynnän.

1960-luvun puolivälistä lähtien hän on työskennellyt λ-laskennan ongelmien parissa. Saatujen tulosten joukossa on lause erilaisten λ-termien ekvivalenssia -normaalimuodossa koskevan väitteen epäjohdonmukaisuudesta (eli niillä ei ole avaamattomia muodon ja , jossa ei ole vapaa muuttuja muodossa , aliehtoja ). Tämä lause viittaa suoraan ekstensionaalisen λ-laskennan Hilbert-Postin täydellisyyteen . Itse tuloksen tärkeyden lisäksi väitteen todistamismenetelmät osoittautuivat kysytyiksi: Barendregt käytti Boehmin termien käännöstekniikkaa liittääkseen jokaisen termin rakenteeseen, jota hän kutsui Boehm-puuksi . että Scott-topologiassa näissä puissa kaikki määriteltävissä olevat λ-laskimen funktiot ovat jatkuvia [10] . Toinen ohjelmointikielten teoriaan vaikuttanut työ λ-laskennan alalla oli abstraktin koneen rakentaminen 1970-luvun alussa Mariangiola Dezani-Ciancaglinin ( italiaksi Mariangiola Dezani-Ciancaglini ) opiskelijan kanssa . -nimen laskentastrategia, jossa -muunnoksen automaattinen käsittely .  

Valittu bibliografia

Muistiinpanot

  1. ↑ 1 2 http://www.corradobohm.it/Corrado_Bohm/Biography.html
  2. ↑ http://www.cnrs.fr/ins2i/spip.php?article2697
  3. ↑ 1 2 Elämäkerta, 2013 .
  4. ↑ Herbert Bruderer. Tietojenkäsittelyhistoria Iso-Britannian ja Yhdysvaltojen ulkopuolella: valitut maamerkit Manner-Euroopasta  // ACM:n viestintä. - 2017. - T. 60 , nro 2 . - S. 76-84 . - doi : 10.1145/2959085 .
  5. ↑ Corrado Böhm . Academia Europaea (24. lokakuuta 2017). Haettu 8. tammikuuta 2018. Arkistoitu alkuperäisestä 24. tammikuuta 2021.
  6. ↑ In memoria di Corrado Böhm (1923-2017) . Università degli Studi di Roma "La Sapienza" (23. lokakuuta 2017). Haettu 8. tammikuuta 2018. Arkistoitu alkuperäisestä 8. tammikuuta 2018.
  7. ↑ EATCS-palkinto . European Association of Theoretical Computer Science (1. tammikuuta 2018). Haettu 8. tammikuuta 2018. Arkistoitu alkuperäisestä 17. tammikuuta 2018.
  8. ↑ Donald E. Knuth, Luis Trabb Pardo. Ohjelmointikielten varhainen kehitys// Tietojenkäsittelyn historia 20. vuosisadalla / N. Metropolis, I. Howlett, Gian-Carlo Rota. N.Y .: Academic Press . - S. 200-276 . — ISBN 0-12-491650-3 .
  9. ↑ E. Dijkstra. Siirry haitallisena pidettyyn lausuntoon // ACM:n viestintä . - 1968. - T. 11 , nro 3 . — S. 147–148 . - doi : 10.1145/362929.362947 .
  10. ↑ Barendregt, Henk . Luku 10. Boehm Trees // Lambda Calculus. Sen syntaksi ja semantiikka = The Lambda Calculus. Sen syntaksi ja semantiikka / kääntänyt englannista G. E. Mints. - M .: Mir , 1985. - S. 19, 46, 220-276. — 606 s. - 4800 kappaletta.

Linkit

  Siirry Wikidata-kohteeseen  Temaattiset sivustot