Behm, Corrado

Corrado Böhm
Fødselsdato 17. januar 1923( 17-01-1923 ) [1]
Fødselssted
Dødsdato 23. oktober 2017( 2017-10-23 ) [2] (94 år)
Et dødssted
Land
Videnskabelig sfære datalogi , struktureret programmering , konstruktiv matematik , lambdaregning , kombinationslogik , funktionel programmering og programmeringssprogs semantik
Arbejdsplads
Alma Mater
videnskabelig rådgiver Eduard Stiefel [d] ogPaul Bernays
Priser og præmier European Association for Theoretical Computer Science Prize [d] ( 2001 ) æresdoktor fra University of Milano [d] ( 1994 )
Internet side corradobohm.it
 Mediefiler på Wikimedia Commons

Corrado Böhm ( 17. januar 1923 , Milano - 23. oktober 2017 , Rom) - italiensk matematiker , datalog og matematisk logiker , som ydede et afgørende bidrag til den teoretiske begrundelse af det strukturerede programmeringsparadigme og modtog vigtige resultater i λ-regningen , kombinatorisk logik , semantik af programmeringssprog ; en af ​​de tidlige forskere i teorien om programmeringssprog . Professor ved Sapienza Universitetet i Rom , medstifter af Informatikfakultetet ved Universitetet i Torino og Sapienza.

Biografi

Født og opvokset i Milano . I 1942 rejste han til Schweiz, hvor han kom ind på universitetet i Lausanne . Han dimitterede i 1946 med et diplom i elektroteknik , hvorefter han blev optaget som forskningsassistent ved ETH Zürich [3] .

I 1949-1950 arbejdede han på Zürich Institute of Applied Mathematics (en del af ETH Zürich) i gruppen af ​​Eduard Stiefel ( tysk:  Eduard Stiefel ), Paul Bernays arbejdede også blandt lederne af retningen på instituttet , som, som videnskabsmanden senere bemærkede, havde påvirket ham en stor indflydelse, hvilket stimulerede interessen for de teoretiske spørgsmål om beregningsevne og Turing-maskiner . Sammen med en anden medarbejder på instituttet, Harry Laet, testede han Z4 -computeren af ​​Konrad Zuse [4] , som til sidst blev købt af Den Højere Tekniske Skole (og dermed blev verdens første kommercielle computer). I 1951 afsluttede han under vejledning af Stiefel sin doktorafhandling, værket blev udgivet i 1952, og det formelle forsvar fandt sted i 1954.

I 1950 giftede han sig med en kunstner fra Padua , Eva Romanin Yakur, og i 1951 vendte han tilbage til Italien. I 1953 arbejdede han i Ivrea på Olivetti - firmaet , samme år blev han optaget som forsker ved Institute of Applied Mathematical Analysis ( italiensk:  Istituto per le applicazioni del calcolo ) i Rom . På instituttet, sammen med det britiske firma Ferranti , under ledelse af Mauro Picone ( italiensk:  Mauro Picone ), blev den første italienske computer FINAC skabt , og Boehm testede dens ydeevne [3] . Grundlæggende er værkerne fra perioden i 1950'erne viet til instituttets hovedretning - differential- og integralregning og dens anvendelser. I anden halvdel af 1950'erne blev tre døtre født i ægteskab med Eva.

Siden 1960, mens han fortsatte med at arbejde på Institute of Applied Mathematical Analysis, begyndte han at undervise i kurser i datalogi ved Sapienza Universitetet i Rom , hvor de første postgraduate studerende dukkede op. I 1968 fik han et professorat.

Siden 1969 var han leder af datalogikurset ved Det Naturvidenskabelige Fakultet ved Universitetet i Torino , i 1974 vendte han tilbage til Rom ved Sapienza. I 1975 organiserede han en international konference om λ-regning på universitetet, som blev den første sådanne begivenhed i retningen, og spillede en vigtig rolle i dens hurtige udvikling i det næste årti. Samme år kom han med i redaktionen af ​​Theoretical Computer Science journal , hvor han blev til sine sidste år; I 1993 viede tidsskriftet et særligt nummer til videnskabsmandens 70-års jubilæum.

I 1990 blev han valgt til akademiker ved European Academy [5] . I 1994 modtog han en honoris causa- grad fra universitetet i Milano [6] . I 2001 blev han tildelt European Association for Theoretical Computer Science ( EATCS Award ) [7] for resultater inden for programmeringssprogsteori . 

Videnskabelige bidrag

Som en del af sin afhandling skabte han sproget Formules og en compiler til det. Den vigtigste nyskabelse var, at sprogkompileren blev udviklet i samme sprog, det vil sige, at den blev den første komplette meta-cirkulære compiler i historien [ 8 ] .  Kompilerteksten tog kun 114 linjer kode .

I 1964 skabte han programmeringssproget P′′  , et minimalistisk sprog uden en ubetinget springoperator . Til støtte for den beregningsmæssige udtryksevne af det skabte sprog beviste han i samarbejde med en af ​​de studerende ved Sapienza Universitet, Giuseppe Iacopini, i 1966 Turing-fuldstændigheden af ​​P′′, hvilket igen betød, at enhver algoritme kunne udtrykkes med kun tre kontrolstrukturer - sekventiel transmissionskontrol, forgrening og looping . Dette resultat gav et videnskabeligt grundlag for struktureret programmering: I et notat fra 1968 henviste Dijkstra til Boehm-Jacopini-sætningen som en mulighed for fuldstændig at udrydde GOTO -operatøren fra programmeringspraksis [9] , hvorefter paradigmet fik generel accept.

Siden midten af ​​1960'erne har han arbejdet med problemer i λ-regningen. Blandt de opnåede resultater er en sætning om inkonsistensen af ​​udsagnet om ækvivalensen af ​​forskellige λ-termer i -normal form (det vil sige, at de ikke har uåbnede underled af formen og , hvor er ikke en fri variabel i ). Denne erklæring antyder direkte Hilbert-Post-fuldstændigheden af ​​den ekstensionelle λ-regning . Ud over vigtigheden af ​​selve resultatet viste det sig, at metoder til at bevise påstanden var efterspurgte: Boehm-teknikken til termomvending blev brugt af Barendregt til at forbinde hvert udtryk med en konstruktion, som han kaldte Boehm-træet , bemærkelsesværdig for det faktum at i Scott-topologien på disse træer er alle definerbare funktioner af λ-regningen kontinuerte [10] . Et andet arbejde inden for λ-regning, der påvirkede teorien om programmeringssprog, var konstruktionen i begyndelsen af ​​1970'erne med en elev af Mariangiola Dezani-Ciancaglini ( italiensk: Mariangiola Dezani-Ciancaglini ) af en abstrakt maskine med en call-by -navnberegningsstrategi med automatisk behandling af -konvertering.  

Valgt bibliografi

Noter

  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. Computing History Beyond the UK and US: Selected Landmarks from Continental Europe  // Communications of the ACM. - 2017. - T. 60 , nr. 2 . - S. 76-84 . - doi : 10.1145/2959085 .
  5. ↑ Corrado Böhm . Academia Europaea (24. oktober 2017). Hentet 8. januar 2018. Arkiveret fra originalen 24. januar 2021.
  6. ↑ In memoria di Corrado Böhm (1923-2017) . Università degli Studi di Roma "La Sapienza" (23. oktober 2017). Hentet 8. januar 2018. Arkiveret fra originalen 8. januar 2018.
  7. ↑ EATCS Award . European Association of Theoretical Computer Science (1. januar 2018). Hentet 8. januar 2018. Arkiveret fra originalen 17. januar 2018.
  8. ↑ Donald E. Knuth, Luis Trabb Pardo. Den tidlige udvikling af programmeringssprog // 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å til erklæringen anses for skadelig // Kommunikation fra ACM . - 1968. - T. 11 , nr. 3 . — S. 147–148 . - doi : 10.1145/362929.362947 .
  10. ↑ Barendregt, Henk . Kapitel 10. Boehm-træer // Lambdaregning. Dens syntaks og semantik = The Lambda Calculus. Dens syntaks og semantik / oversat fra engelsk af G. E. Mints. - M .: Mir , 1985. - S. 19, 46, 220-276. — 606 s. - 4800 eksemplarer.

Links

  Gå til Wikidata-elementet  Tematiske steder