Behm, Corrado

Corrado Böhm
Födelsedatum 17 januari 1923( 1923-01-17 ) [1]
Födelseort
Dödsdatum 23 oktober 2017( 2017-10-23 ) [2] (94 år)
En plats för döden
Land
Vetenskaplig sfär datavetenskap , strukturerad programmering , konstruktiv matematik , lambdakalkyl , kombinationslogik , funktionell programmering och programmeringsspråkens semantik
Arbetsplats
Alma mater
vetenskaplig rådgivare Eduard Stiefel [d] ochPaul Bernays
Utmärkelser och priser European Association for Theoretical Computer Science Prize [d] ( 2001 ) hedersdoktor vid universitetet i Milano [d] ( 1994 )
Hemsida corradobohm.it
 Mediafiler på Wikimedia Commons

Corrado Böhm ( 17 januari 1923 , Milano - 23 oktober 2017 , Rom ) - italiensk matematiker , datavetare och matematisk logiker , som gjorde ett avgörande bidrag till den teoretiska motiveringen av det strukturerade programmeringsparadigmet och fick viktiga resultat i λ-kalkylen , kombinatorisk logik , semantik för programmeringsspråk ; en av de tidiga forskarna inom teorin om programmeringsspråk . Professor vid Sapienza -universitetet i Rom , medgrundare av fakulteten för informatik vid universitetet i Turin och Sapienza.

Biografi

Född och uppvuxen i Milano . 1942 reste han till Schweiz, där han började på universitetet i Lausanne . Han tog examen 1946 med ett diplom i elektroteknik , varefter han antogs som forskningsassistent vid ETH Zürich [3] .

1949-1950 arbetade han vid Zürich Institute of Applied Mathematics (en del av ETH Zürich) i gruppen av Eduard Stiefel ( tyska:  Eduard Stiefel ), Paul Bernays arbetade också bland ledarna för riktningen vid institutet , som, som vetenskapsmannen senare noterade, hade påverkat honom ett stort inflytande, vilket stimulerade intresset för de teoretiska frågorna om beräkningsbarhet och Turing-maskiner . Tillsammans med en annan anställd på institutet, Harry Laet, testade han Z4 -datorn av Konrad Zuse [4] , som så småningom köptes av Högre tekniska skolan (och därmed blev världens första kommersiella dator). 1951, under ledning av Stiefel, avslutade han sin doktorsavhandling, verket publicerades 1952 och det formella försvaret ägde rum 1954.

1950 gifte han sig med en konstnär från Padua , Eva Romanin Yakur, och 1951 återvände han till Italien. 1953 arbetade han i Ivrea på Olivetti- företaget , samma år antogs han som forskare vid Institutet för tillämpad matematisk analys ( italienska:  Istituto per le applicazioni del calcolo ) i Rom . På institutet, tillsammans med det brittiska företaget Ferranti , under ledning av Mauro Picone ( italienska:  Mauro Picone ), skapades den första italienska datorn FINAC och Boehm testade dess prestanda [3] . I grund och botten är verken under 1950-talet ägnade åt institutets huvudriktning - differential- och integralkalkyl och dess tillämpningar. Under andra hälften av 1950-talet föddes tre döttrar i ett äktenskap med Eva.

Sedan 1960, medan han fortsatte att arbeta vid Institutet för tillämpad matematisk analys, började han undervisa i datavetenskap vid Sapienza-universitetet i Rom , där de första doktoranderna dök upp. 1968 fick han en professur.

Sedan 1969 var han chef för datavetenskapskursen vid naturvetenskapliga fakulteten vid universitetet i Turin , 1974 återvände han till Rom i Sapienza. 1975 organiserade han en internationell konferens om λ-kalkyl vid universitetet, som blev den första sådana händelsen i riktningen, och spelade en viktig roll i dess snabba utveckling under nästa decennium. Samma år gick han med i redaktionen för Theoretical Computer Science journal , där han stannade till sina sista år; 1993 ägnade tidskriften ett specialnummer åt vetenskapsmannens 70-årsjubileum.

1990 valdes han till akademiker vid European Academy [5] . 1994 fick han en honoris causa- examen från universitetet i Milano [6] . År 2001 tilldelades han European Association for Theoretical Computer Science ( EATCS Award ) [7] för prestationer inom programmeringsspråksteori . 

Vetenskapliga bidrag

Som en del av sin avhandling skapade han språket Formules och en kompilator för det. Den främsta innovationen var att språkkompilatorn utvecklades på samma språk, det vill säga den blev historiens första kompletta metacirkulära kompilator [ 8 ] .  Kompilatortexten tog bara 114 rader kod .

1964 skapade han programmeringsspråket P′′  , ett minimalistiskt språk utan en ovillkorlig hoppoperator . Till stöd för det skapade språkets beräkningsmässiga uttrycksförmåga, i samarbete med en av studenterna vid Sapienza University, Giuseppe Iacopini, bevisade han 1966 P′′s Turing-fullständighet , vilket i sin tur innebar att vilken algoritm som helst kunde uttryckas med endast tre kontrollstrukturer - sekventiell transmissionskontroll, förgrening och looping . Detta resultat gav en vetenskaplig grund för strukturerad programmering: i en not från 1968 hänvisade Dijkstra till Boehm-Jacopini-teoremet som en möjlighet att helt utrota GOTO- operatören från programmeringspraktiken [9] , varefter paradigmet fick allmän acceptans.

Sedan mitten av 1960-talet har han arbetat med problem i λ-kalkylen. Bland de erhållna resultaten finns en sats om inkonsekvensen av påståendet om ekvivalensen av olika λ-termer i -normal form (det vill säga de har inte oöppnade deltermer av formen och , där är inte en fri variabel i ). Detta uttalande antyder direkt Hilbert-Post-fullständigheten av den extensionella λ-kalkylen . Förutom vikten av själva resultatet visade sig metoder för att bevisa påståendet vara efterfrågade: Boehm-tekniken för termomkastning användes av Barendregt för att associera varje term med en konstruktion som han kallade Boehm-trädet , anmärkningsvärt för det faktum att i Scott-topologin på dessa träd är alla definierbara funktioner hos λ-kalkylen kontinuerliga [10] . Ett annat arbete inom området λ-kalkyl som påverkade teorin om programmeringsspråk var konstruktionen i början av 1970-talet med en elev av Mariangiola Dezani-Ciancaglini ( italienska: Mariangiola Dezani-Ciancaglini ) av en abstrakt maskin med en call-by -namnberäkningsstrategi med automatisk bearbetning av -konvertering.  

Vald bibliografi

Anteckningar

  1. ↑ 1 2 http://www.corradobohm.it/Corrado_Bohm/Biography.html
  2. ↑ http://www.cnrs.fr/ins2i/spip.php?article2697
  3. ↑ 1 2 Biografi, 2013 .
  4. ↑ Herbert Bruderer. Datorhistorik bortom Storbritannien och USA: Utvalda landmärken från Kontinentaleuropa  // ACM:s kommunikation. - 2017. - T. 60 , nr 2 . - S. 76-84 . - doi : 10.1145/2959085 .
  5. ↑ Corrado Böhm . Academia Europaea (24 oktober 2017). Hämtad 8 januari 2018. Arkiverad från originalet 24 januari 2021.
  6. ↑ In memoria di Corrado Böhm (1923-2017) . Università degli Studi di Roma "La Sapienza" (23 oktober 2017). Hämtad 8 januari 2018. Arkiverad från originalet 8 januari 2018.
  7. ↑ EATCS-utmärkelse . European Association of Theoretical Computer Science (1 januari 2018). Hämtad 8 januari 2018. Arkiverad från originalet 17 januari 2018.
  8. ↑ Donald E. Knuth, Luis Trabb Pardo. The Early Development of Programming Languages ​​// A History of Computing in the Twentieth Century / N. Metropolis, I. Howlett, Gian-Carlo Rota. N.Y .: Academic Press . - S. 200-276 . — ISBN 0-12-491650-3 .
  9. ↑ E. Dijkstra. Gå till uttalande anses skadligt // Kommunikation från ACM . - 1968. - T. 11 , nr 3 . — S. 147–148 . - doi : 10.1145/362929.362947 .
  10. ↑ Barendregt, Henk . Kapitel 10. Boehm Trees // Lambda Calculus. Dess syntax och semantik = The Lambda Calculus. Dess syntax och semantik / översatt från engelska av G. E. Mints. - M .: Mir , 1985. - S. 19, 46, 220-276. — 606 sid. - 4800 exemplar.

Länkar

  Gå till Wikidata-objektet  Tematiska platser