Behm, Corrado

Corrado Böhm
Data nașterii 17 ianuarie 1923( 17.01.1923 ) [1]
Locul nașterii
Data mortii 23 octombrie 2017( 23.10.2017 ) [2] (94 de ani)
Un loc al morții
Țară
Sfera științifică informatica , programare structurata , matematica constructiva , calcul lambda , logica combinationala , programare functionala si semantica limbajelor de programare
Loc de munca
Alma Mater
consilier științific Eduard Stiefel [d] șiPaul Bernays
Premii și premii Premiul Asociației Europene pentru Informatică Teoretică [d] ( 2001 ) doctorat onorific de la Universitatea din Milano [d] ( 1994 )
Site-ul web corradobohm.it
 Fișiere media la Wikimedia Commons

Corrado Böhm ( 17 ianuarie 1923 , Milano - 23 octombrie 2017 , Roma) - matematician italian , informatician și logician matematic , care a adus o contribuție decisivă la justificarea teoretică a paradigmei de programare structurată și a primit rezultate importante în calculul λ , logica combinatorie , semantica limbajelor de programare ; unul dintre primii cercetători în teoria limbajelor de programare . Profesor la Universitatea Sapienza din Roma , co-fondator al Facultății de Informatică a Universității din Torino și Sapienza.

Biografie

Născut și crescut la Milano . În 1942 a plecat în Elveția, unde a intrat la Universitatea din Lausanne . A absolvit în 1946 o diplomă în inginerie electrică , după care a fost acceptat ca asistent de cercetare la ETH Zurich [3] .

În 1949-1950, a lucrat la Institutul de Matematică Aplicată din Zurich (parte a ETH Zurich) în grupul lui Eduard Stiefel ( germană:  Eduard Stiefel ), Paul Bernays a lucrat și printre liderii direcției de la institut , care, după cum a observat mai târziu omul de știință, l-a influențat o mare influență, stimulând interesul pentru problemele teoretice ale calculabilității și mașinilor Turing . Împreună cu un alt angajat al institutului, Harry Laet, a testat computerul Z4 de către Konrad Zuse [4] , care a fost în cele din urmă cumpărat de Școala Tehnică Superioară (și astfel a devenit primul computer comercial din lume). În 1951, sub îndrumarea lui Stiefel, și-a finalizat teza de doctorat, lucrarea a fost publicată în 1952, iar susținerea oficială a avut loc în 1954.

În 1950 s-a căsătorit cu o artistă din Padova , Eva Romanin Yakur, iar în 1951 s-a întors în Italia. În 1953 a lucrat la Ivrea la firma Olivetti , în același an a fost acceptat ca cercetător la Institutul de Analiză Matematică Aplicată ( în italiană:  Istituto per le applicazioni del calcolo ) din Roma . La institut, împreună cu compania britanică Ferranti , sub conducerea lui Mauro Picone ( italian:  Mauro Picone ), a fost creat primul computer italian FINAC , iar Boehm își testa performanța [3] . Practic, lucrările din perioada anilor 1950 sunt consacrate direcției principale a institutului - calcul diferențial și integral și aplicațiile sale. În a doua jumătate a anilor 1950, trei fiice s-au născut într-o căsătorie cu Eva.

Din 1960, în timp ce lucra în continuare la Institutul de Analiză Matematică Aplicată, a început să predea cursuri de informatică la Universitatea Sapienza din Roma , unde au apărut primii studenți postuniversitari. În 1968 a primit calitatea de profesor.

Din 1969, a fost șeful cursului de informatică la Facultatea de Științe a Universității din Torino , în 1974 s-a întors la Roma la Sapienza. În 1975, a organizat o conferință internațională despre calculul λ la universitate, care a devenit primul astfel de eveniment în direcție și a jucat un rol important în dezvoltarea sa rapidă în următorul deceniu. În același an, sa alăturat comitetului editorial al revistei Theoretical Computer Science , unde a rămas până în ultimii ani; În 1993, revista a dedicat un număr special aniversării a 70 de ani a omului de știință.

În 1990 a fost ales academician al Academiei Europene [5] . În 1994 a primit o diplomă honoris causa de la Universitatea din Milano [6] . În 2001 a fost distins cu Asociația Europeană pentru Informatică Teoretică ( EATCS Award ) [7] pentru realizările în domeniul teoriei limbajului de programare . 

Contribuții științifice

Ca parte a disertației sale, a creat limbajul Formules și un compilator pentru acesta. Principala inovație a fost că compilatorul de limbaj a fost dezvoltat în aceeași limbă, adică a devenit primul compilator meta-circular complet din istorie [ 8 ] .  Textul compilatorului a luat doar 114 linii de cod .

În 1964, a creat limbajul de programare P′′  , un limbaj minimalist fără operator de sărituri necondiționat . În sprijinul expresivității computaționale a limbajului creat, în colaborare cu unul dintre studenții de la Universitatea Sapienza, Giuseppe Iacopini, a dovedit în 1966 completitudinea Turing a lui P′′, ceea ce, la rândul său, însemna că orice algoritm era exprimabil cu doar trei structuri de control — controlul transmisiei secvențiale, ramificarea și bucla . Acest rezultat a oferit o bază științifică pentru programarea structurată: într-o notă din 1968, Dijkstra s- a referit la teorema Boehm-Jacopini ca pe o oportunitate de a eradica complet operatorul GOTO din practica de programare [9] , după care paradigma a câștigat acceptarea generală.

De la mijlocul anilor 1960, el a lucrat la probleme în calculul λ. Printre rezultatele obținute se numără o teoremă privind inconsecvența enunțului despre echivalența diferiților termeni λ în formă -normală (adică nu au subtermeni nedeschiși de forma și , unde nu este o variabilă liberă în ). Această afirmație implică în mod direct completitatea Hilbert-Post a calculului extensial λ . Pe lângă importanța rezultatului în sine, metodele de demonstrare a afirmației s-au dovedit a fi solicitate: tehnica Boehm a inversării termenului a fost folosită de Barendregt pentru a asocia fiecare termen cu o construcție pe care a numit-o arborele Boehm , remarcabil prin faptul că că în topologia Scott pe acești arbori toate funcțiile definibile ale calculului λ sunt continue [10] . O altă lucrare în domeniul calculului λ care a influențat teoria limbajelor de programare a fost construcția, la începutul anilor 1970, cu un student al lui Mariangiola Dezani-Ciancaglini ( italiană: Mariangiola Dezani-Ciancaglini ) a unei mașini abstracte cu un call-by. -strategia de calcul al numelui cu procesarea automată a -conversiei.  

Bibliografie selectată

Note

  1. ↑ 1 2 http://www.corradobohm.it/Corrado_Bohm/Biography.html
  2. ↑ http://www.cnrs.fr/ins2i/spip.php?article2697
  3. ↑ 1 2 Biografie, 2013 .
  4. ↑ Herbert Bruderer. Istoria calculatoarelor dincolo de Regatul Unit și SUA: repere selectate din Europa continentală  // Comunicații ale ACM. - 2017. - T. 60 , Nr. 2 . - S. 76-84 . - doi : 10.1145/2959085 .
  5. ↑ Corrado Böhm . Academia Europaea (24 octombrie 2017). Preluat la 8 ianuarie 2018. Arhivat din original la 24 ianuarie 2021.
  6. ↑ In memoria di Corrado Böhm (1923-2017) . Università degli Studi di Roma „La Sapienza” (23 octombrie 2017). Preluat la 8 ianuarie 2018. Arhivat din original la 8 ianuarie 2018.
  7. ↑ Premiul EATCS . Asociația Europeană de Informatică Teoretică (1 ianuarie 2018). Preluat la 8 ianuarie 2018. Arhivat din original la 17 ianuarie 2018.
  8. ↑ Donald E. Knuth, Luis Trabb Pardo. Dezvoltarea timpurie a limbajelor de programare // A History of Computing in the Twentieth Century / N. Metropolis, I. Howlett, Gian-Carlo Rota. N.Y .: Presa academică . - S. 200-276 . — ISBN 0-12-491650-3 .
  9. ↑ E. Dijkstra. Accesați declarația considerată dăunătoare // Comunicări ale ACM . - 1968. - T. 11 , nr 3 . — S. 147–148 . - doi : 10.1145/362929.362947 .
  10. ↑ Barendregt, Henk . Capitolul 10. Arbori Boehm // Calcul Lambda. Sintaxa și semantica sa = The Lambda Calculus. Sintaxa și semantica sa / tradus din engleză de G. E. Mints. - M .: Mir , 1985. - S. 19, 46, 220-276. — 606 p. - 4800 de exemplare.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice