Behm, Corrado

Corrado Böhm
Datum narození 17. ledna 1923( 1923-01-17 ) [1]
Místo narození
Datum úmrtí 23. října 2017( 2017-10-23 ) [2] (ve věku 94 let)
Místo smrti
Země
Vědecká sféra informatika , strukturované programování , konstruktivní matematika , lambda kalkul , kombinační logika , funkcionální programování a sémantika programovacích jazyků
Místo výkonu práce
Alma mater
vědecký poradce Eduard Stiefel [d] aPaul Bernays
Ocenění a ceny Cena Evropské asociace pro teoretickou informatiku [d] ( 2001 ) čestný doktorát z univerzity v Miláně [d] ( 1994 )
webová stránka corradobohm.it
 Mediální soubory na Wikimedia Commons

Corrado Böhm ( 17. ledna 1923 , Milán - 23. října 2017 , Řím) - italský matematik , informatik a matematický logik , který rozhodujícím způsobem přispěl k teoretickému zdůvodnění paradigmatu strukturovaného programování a získal důležité výsledky v λ-kalkulu , kombinatorická logika , sémantika programovacích jazyků ; jeden z prvních výzkumníků v teorii programovacích jazyků . Profesor na univerzitě Sapienza v Římě , spoluzakladatel Fakulty informatiky na univerzitě v Turíně a Sapienza.

Životopis

Narodil se a vyrostl v Miláně . V roce 1942 odešel do Švýcarska, kde nastoupil na univerzitu v Lausanne . Promoval v roce 1946 s diplomem v oboru elektrotechniky , poté byl přijat jako vědecký asistent na ETH Zurich [3] .

V letech 1949-1950 působil na Curyšském institutu aplikované matematiky (součást ETH Zurich) ve skupině Eduarda Stiefela ( německy  Eduard Stiefel ), Paul Bernays také působil mezi vedoucími směru na ústavu , kteří jak vědec později poznamenal, měl na něj velký vliv a podnítil zájem o teoretické otázky vyčíslitelnosti a Turingových strojů . Společně s dalším zaměstnancem ústavu Harrym Laetem testoval počítač Z4 Konrada Zuse [4] , který nakonec koupila Vyšší technická škola (a stal se tak prvním komerčním počítačem na světě). V roce 1951 pod vedením Stiefela dokončil doktorskou práci, práce byla vydána v roce 1952 a formální obhajoba se konala v roce 1954.

V roce 1950 se oženil s umělkyní z Padovy Evou Romanin Yakur a v roce 1951 se vrátil do Itálie. V roce 1953 pracoval v Ivrei ve firmě Olivetti , v témže roce byl přijat jako vědecký pracovník Institutu aplikované matematické analýzy ( italsky  Istituto per le applicazioni del calcolo ) v Římě . V ústavu společně s britskou společností Ferranti pod vedením Maura Piconeho ( italsky  Mauro Picone ) vznikl první italský počítač FINAC a Boehm testoval jeho výkon [3] . V podstatě práce z období 50. let jsou věnovány hlavnímu směru ústavu - diferenciálnímu a integrálnímu počtu a jeho aplikacím. V druhé polovině 50. let se v manželství s Evou narodily tři dcery.

Od roku 1960, zatímco pokračoval v práci na Institutu aplikované matematické analýzy, začal vyučovat kurzy informatiky na univerzitě Sapienza v Římě , kde se objevili první postgraduální studenti. V roce 1968 získal profesuru.

Od roku 1969 byl vedoucím kurzu informatiky na Přírodovědecké fakultě Univerzity v Turíně , v roce 1974 se vrátil do Říma na Sapienzu. V roce 1975 uspořádal na univerzitě mezinárodní konferenci o λ-kalkulu, která se stala první takovou akcí ve směru a sehrála důležitou roli v jejím rychlém rozvoji v příštím desetiletí. Ve stejném roce nastoupil do redakční rady časopisu Theoretical Computer Science journal , kde setrval až do svých posledních let; V roce 1993 časopis věnoval zvláštní číslo k 70. výročí vědce.

V roce 1990 byl zvolen akademikem Evropské akademie [5] . V roce 1994 získal titul honoris causa na univerzitě v Miláně [6] . V roce 2001 byl oceněn Evropskou asociací pro teoretickou informatiku ( EATCS Award ) [7] za úspěchy v oblasti teorie programovacích jazyků . 

Vědecké příspěvky

V rámci své disertační práce vytvořil jazyk Formules a jeho kompilátor. Hlavní inovací bylo, že jazykový kompilátor byl vyvinut ve stejném jazyce, to znamená, že se stal prvním kompletním meta-kruhovým kompilátorem v historii [ 8 ] .  Text kompilátoru zabral pouze 114 řádků kódu .

V roce 1964 vytvořil programovací jazyk P′′  , minimalistický jazyk bez operátoru nepodmíněného skoku . Na podporu výpočetní expresivity vytvořeného jazyka ve spolupráci s jedním ze studentů univerzity Sapienza, Giuseppem Iacopinim, v roce 1966 prokázal Turingovu úplnost P′′, což zase znamenalo, že jakýkoli algoritmus je vyjádřitelný pomocí pouze tři řídicí struktury — sekvenční řízení přenosu, větvení a smyčkování . Tento výsledek poskytl vědecký základ pro strukturované programování: v poznámce z roku 1968 se Dijkstra odvolával na Boehm-Jacopiniho teorém jako na příležitost k úplnému vymýcení operátoru GOTO z programátorské praxe [9] , načež získalo paradigma všeobecné uznání.

Od poloviny 60. let se zabývá problémy v λ-kalkulu. Mezi získanými výsledky je teorém o nekonzistenci tvrzení o ekvivalenci různých λ-členů v -normálním tvaru (to znamená, že nemají neotevřené podtermy tvaru a , kde není volná proměnná v ). Toto tvrzení přímo implikuje Hilbertovu-Postovu úplnost extenzního λ-kalkulu . Kromě důležitosti samotného výsledku se ukázalo, že jsou žádané metody dokazování tvrzení: Boehmovu techniku ​​obrácení termínu použil Barendregt ke spojení každého termínu s konstrukcí, kterou nazval Boehmův strom , pozoruhodný tím, že že ve Scottově topologii na těchto stromech jsou všechny definovatelné funkce λ-kalkulu spojité [10] . Další prací v oblasti λ-kalkulu, která ovlivnila teorii programovacích jazyků, byla konstrukce abstraktního stroje s call-by na počátku 70. let se studentem Mariangioly Dezani-Ciancaglini ( italsky: Mariangiola Dezani-Ciancaglini ). strategie výpočtu -name s automatickým zpracováním -konverze.  

Výběrová bibliografie

Poznámky

  1. ↑ 1 2 http://www.corradobohm.it/Corrado_Bohm/Biography.html
  2. ↑ http://www.cnrs.fr/ins2i/spip.php?article2697
  3. ↑ 1 2 Životopis, 2013 .
  4. ↑ Herbert Bruderer. Historie výpočetní techniky mimo Spojené království a USA: Vybrané památky z kontinentální Evropy  // Komunikace ACM. - 2017. - T. 60 , č. 2 . - S. 76-84 . - doi : 10.1145/2959085 .
  5. ↑ Corrado Böhm . Academia Europaea (24. října 2017). Získáno 8. ledna 2018. Archivováno z originálu 24. ledna 2021.
  6. ↑ In memoria di Corrado Böhm (1923-2017) . Università degli Studi di Roma "La Sapienza" (23. října 2017). Staženo 8. ledna 2018. Archivováno z originálu 8. ledna 2018.
  7. ↑ EATCS Award . European Association of Theoretical Computer Science (1. ledna 2018). Staženo 8. ledna 2018. Archivováno z originálu 17. ledna 2018.
  8. ↑ Donald E. Knuth, Luis Trabb Pardo. Raný vývoj programovacích jazyků // Historie výpočetní techniky ve dvacátém století / N. Metropolis, I. Howlett, Gian-Carlo Rota. N.Y .: Academic Press . - S. 200-276 . — ISBN 0-12-491650-3 .
  9. ↑ E. Dijkstra. Přejít na prohlášení považované za škodlivé // Komunikace ACM . - 1968. - T. 11 , č. 3 . — S. 147–148 . - doi : 10.1145/362929.362947 .
  10. ↑ Barendregt, Henk . Kapitola 10. Boehmovy stromy // Lambda kalkul. Jeho syntaxe a sémantika = Lambda kalkul. Jeho syntaxe a sémantika / z angličtiny přeložil G. E. Mints. - M .: Mir , 1985. - S. 19, 46, 220-276. — 606 s. - 4800 výtisků.

Odkazy

  Přejděte na položku Wikidata  Tematické stránky