Behm, Corrado

Corrado Böhm
Születési dátum 1923. január 17.( 1923-01-17 ) [1]
Születési hely
Halál dátuma 2017. október 23.( 2017-10-23 ) [2] (94 évesen)
A halál helye
Ország
Tudományos szféra számítástechnika , strukturált programozás , konstruktív matematika , lambda kalkulus , kombinációs logika , funkcionális programozás és a programozási nyelvek szemantikája
Munkavégzés helye
alma Mater
tudományos tanácsadója Eduard Stiefel [d] ésPaul Bernays
Díjak és díjak Európai Számítástechnikai Elméleti Szövetség Díja [d] ( 2001 ) a Milánói Egyetem tiszteletbeli doktora [d] ( 1994 )
Weboldal corradobohm.it
 Médiafájlok a Wikimedia Commons oldalon

Corrado Böhm ( 1923. január 17. , Milánó – 2017. október 23., Róma) - olasz matematikus , informatikus és matematikai logikus , aki döntően hozzájárult a strukturált programozási paradigma elméleti igazolásához, és fontos eredményeket ért el a λ-számításban , kombinatorikus logika , programozási nyelvek szemantikája ; a programozási nyelvek elméletének egyik korai kutatója . A római Sapienza Egyetem professzora, a Torinói és Sapienzai Egyetem Informatikai Karának társalapítója .

Életrajz

Milánóban született és nőtt fel . 1942-ben Svájcba távozott, ahol beiratkozott a Lausanne -i Egyetemre . 1946-ban szerzett villamosmérnöki diplomát , majd felvették a zürichi ETH kutatói asszisztensének [3] .

1949-1950-ben a Zürichi Alkalmazott Matematikai Intézetben (az ETH Zürich része) Eduard Stiefel ( németül:  Eduard Stiefel ) csoportjában dolgozott, az intézetben az irányvonal vezetői között dolgozott Paul Bernays is , aki amint a tudós később megjegyezte, nagy befolyást gyakorolt ​​rá, felkeltette az érdeklődést a kiszámíthatóság és a Turing-gépek elméleti kérdései iránt . Az intézet másik alkalmazottjával, Harry Laettel együtt tesztelte Konrad Zuse [4] Z4 -es számítógépét , amelyet végül a Higher Technical School vásárolt meg (és így a világ első kereskedelmi számítógépe lett). 1951-ben Stiefel irányításával doktori disszertációját készítette el, a mű 1952-ben jelent meg, a formális védésre 1954-ben került sor.

1950-ben feleségül vett egy padovai művészt , Eva Romanin Yakurt, majd 1951-ben visszatért Olaszországba. 1953-ban Ivreában dolgozott az Olivetti cégnél , ugyanebben az évben felvették a római Alkalmazott Matematikai Analízis Intézetébe ( olaszul:  Istituto per le applicazioni del calcolo ) kutatónak . Az intézetben a brit Ferranti céggel közösen Mauro Picone ( olaszul: Mauro Picone ) vezetésével megalkották az első olasz FINAC számítógépet , amelynek teljesítményét Boehm tesztelte [3] . Az 1950-es évek munkái alapvetően az intézet fő irányvonalának, a differenciál- és integrálszámításnak és annak alkalmazásainak szentelték. Az 1950-es évek második felében Évával kötött házasságból három lánya született.  

1960 óta, miközben az Alkalmazott Matematikai Analízis Intézetben dolgozott, számítástechnikai kurzusokat kezdett tanítani a római Sapienza Egyetemen , ahol megjelentek az első posztgraduális hallgatók. 1968-ban professzori címet kapott.

1969-től a Torinói Egyetem Természettudományi Karának számítástechnikai kurzusának vezetője volt , 1974-ben pedig visszatért Rómába a Sapienzába. 1975-ben az egyetemen nemzetközi konferenciát szervezett a λ-kalkulusról, amely az első ilyen rendezvény volt az irányban, és fontos szerepet játszott gyors fejlődésében a következő évtizedben. Ugyanebben az évben csatlakozott a Theoretical Computer Science folyóirat szerkesztőbizottságához , ahol utolsó éveiig maradt; 1993-ban a folyóirat különszámot szentelt a tudós 70. évfordulójának.

1990-ben az Európai Akadémia akadémikusává választották [5] . 1994-ben honoris causa diplomát kapott a Milánói Egyetemen [6] . 2001-ben elnyerte a European Association for Theoretical Computer Science ( EATCS Award ) [7] elismerését a programnyelv- elmélet terén elért eredményeiért . 

Tudományos hozzájárulások

Dolgozatának részeként megalkotta a Formules nyelvet és egy fordítóprogramot hozzá. A fő újítás az volt, hogy a nyelvi fordítóprogramot ugyanazon a nyelven fejlesztették ki, vagyis ez lett a történelem első teljes metakör - fordítója [ 8 ] .  A fordító szövege mindössze 114 kódsort vett igénybe .

1964-ben megalkotta a P′′ programozási nyelvet  , egy minimalista nyelvet, feltétel nélküli ugrásoperátor nélkül . A létrehozott nyelv számítási kifejezőképességének alátámasztására a Sapienza Egyetem egyik hallgatójával, Giuseppe Iacopinivel együttműködve 1966-ban bebizonyította a P′′ Turing-teljességét , ami viszont azt jelentette, hogy bármilyen algoritmus kifejezhető csak három vezérlőstruktúra – szekvenciális átvitelvezérlés, elágazás és hurok . Ez az eredmény tudományos alapot adott a strukturált programozáshoz: egy 1968-as feljegyzésben Dijkstra a Boehm-Jacopini tételre hivatkozott , mint arra a lehetőségre, hogy teljesen kiirtsák a GOTO operátort a programozási gyakorlatból [9] , ami után a paradigma általános elfogadottságot kapott.

Az 1960-as évek közepe óta a λ-kalkulus problémáin dolgozik. A kapott eredmények között szerepel egy tétel a különféle λ-tagok -normális alakban való ekvivalenciájára vonatkozó állítás inkonzisztenciájáról (vagyis nincs nyitott résztagja az és alaknak , ahol nincs szabad változó -ban ). Ez az állítás közvetlenül utal a kiterjesztési λ-számítás Hilbert-Post teljességére . Magának az eredménynek a fontosságán túl az állítás bizonyítási módszerei is keresetteknek bizonyultak: a kifejezésfordítás Boehm-technikáját Barendregt használta, hogy az egyes kifejezéseket egy olyan konstrukcióval társítsa, amelyet Boehm-fának nevezett el , ami arról nevezetes. hogy a Scott-topológiában ezeken a fákon a λ-kalkulus összes definiálható függvénye folytonos [10] . A programozási nyelvek elméletét befolyásoló másik munka a λ-számítás területén az volt, hogy az 1970-es évek elején Mariangiola Dezani-Ciancaglini ( olaszul: Mariangiola Dezani-Ciancaglini ) tanítványával egy absztrakt gépet építettek fel hívással. -név számítási stratégia a -conversion automatikus feldolgozásával .  

Válogatott bibliográfia

Jegyzetek

  1. ↑ 1 2 http://www.corradobohm.it/Corrado_Bohm/Biography.html
  2. ↑ http://www.cnrs.fr/ins2i/spip.php?article2697
  3. ↑ 1 2 Életrajz, 2013 .
  4. ↑ Herbert Bruderer. Számítástechnika története az Egyesült Királyságon és az Egyesült Államokon túl: válogatott tereptárgyak a kontinentális Európából  // Az ACM kommunikációja. - 2017. - T. 60 , 2. sz . - S. 76-84 . - doi : 10.1145/2959085 .
  5. ↑ Corrado Böhm . Academia Europaea (2017. október 24.). Letöltve: 2018. január 8. Az eredetiből archiválva : 2021. január 24..
  6. ↑ In memoria di Corrado Böhm (1923-2017) . Università degli Studi di Roma "La Sapienza" (2017. október 23.). Letöltve: 2018. január 8. Az eredetiből archiválva : 2018. január 8..
  7. ↑ EATCS-díj . European Association of Theoretical Computer Science (2018. január 1.). Letöltve: 2018. január 8. Az eredetiből archiválva : 2018. január 17..
  8. ↑ Donald E. Knuth, Luis Trabb Pardo. A programozási nyelvek korai fejlődése // A számítástechnika története a huszadik században / N. Metropolis, I. Howlett, Gian-Carlo Rota. N.Y .: Akadémiai Kiadó . - S. 200-276 . — ISBN 0-12-491650-3 .
  9. ↑ E. Dijkstra. Ugrás a károsnak ítélt nyilatkozathoz // Az ACM kommunikációja . - 1968. - T. 11 , 3. sz . – S. 147–148 . - doi : 10.1145/362929.362947 .
  10. ↑ Barendregt, Henk . 10. fejezet Boehm fák // Lambda kalkulus. Szintaxisa és szemantikája = The Lambda Calculus. Szintaxisa és szemantikája / angolból fordította G. E. Mints. - M .: Mir , 1985. - S. 19, 46, 220-276. — 606 p. - 4800 példány.

Linkek

  Ugrás a Wikidata elemre  Tematikus oldalak