John Backus
|
|
Algemene informatie
|
Land
|
Verenigde Staten van Amerika
|
Geboortenaam
|
John Warner Backus
|
Geboortedatum
|
3 december
1924
|
Geboorteplaats
|
Philadelphia
|
Overlijdensdatum
|
17 maart
2007
|
Overlijdensplaats
|
Ashland
|
Begraafplaats
|
San Francisco Columbarium
|
Werk
|
Beroep
|
wiskundige
,
informaticus
|
Werkveld
|
informatica
,
informatiesystemen
|
Werkgever(s)
|
IBM
,
United States Army
|
Bekende werken
|
Speedcoding
,
Fortran
,
Backus-Naur-vorm
,
FP
|
Studie
|
School/universiteit
|
Columbia-universiteit
,
Universiteit van Virginia
,
The Hill School
|
Militair
|
Legeronderdeel
|
United States Army
|
Conflict
|
Tweede Wereldoorlog
|
Persoonlijk
|
Talen
|
Engels
|
Diversen
|
Lid van
|
National Academy of Sciences
,
American Academy of Arts and Sciences
|
Prijzen en onderscheidingen
|
IBM Fellow
(1963)
,
[1]
Turing Award
(1977)
,
[2]
Charles Stark Draperprijs
(1993)
,
[3]
Harold Pender Award
(1983)
,
[4]
National Medal of Science
(1975)
,
[5]
W. Wallace McDowell Award
(1967)
[5]
|
|
De informatie in deze infobox is afkomstig van Wikidata.
U kunt die informatie
hier
bewerken.
|
John Warner Backus
(
Philadelphia
,
3 december
1924
?
Ashland
,
17 maart
2007
) was een
Amerikaanse
informaticus
. Hij was een van de belangrijkste pioniers op het gebied van
programmeertalen
. Hij leidde het team dat
FORTRAN
, de eerste geimplementeerde hogere
programmeertaal
, maakte, hij voerde de metataal
BNF
in, die vrijwel universeel wordt gebruikt om de
syntaxis
van computertalen te beschrijven, en deed onderzoek op het gebied van
function-level programming
,
een vorm van
functioneel programmeren
.
Backus werd geboren als zoon van een
Duitse
emigrant
. Zijn vader was
scheikundige
, die in Duitsland de constructie van precieze
thermometers
verbeterd had; hij werd welgesteld door de
meettechniek
voor de productie van
nitroglycerine
.
John groeide op in
Wilmington (Delaware)
. Hij ging naar de Hill School in
Pottstown (Pennsylvania)
, en was blijkbaar geen ijverige leerling. Hij ging naar de
Universiteit van Virginia
om scheikunde te studeren, maar brak dit af en ging het
Amerikaanse leger
in. Daar volgde hij een medische opleiding; tijdens een stage in een ziekenhuis werd een
bottumor
op zijn schedel verwijderd, waarna er een metaalplaat op zijn schedel werd bevestigd; na negen maanden geneeskunde-opleiding liet hij deze vervangen door een nieuwe, omdat hij er niet tevreden mee was. Daarna verliet hij het leger.
Hij verhuisde naar
New York
en volgde daar eerst een opleiding tot
radiotechnicus
en ontdekte zijn interesse in
wiskunde
? wat zijn roeping zou blijken te zijn. Hij studeerde af in
1949
met een
Mastersgraad
aan
Columbia University
. Kort voor het einde van zijn studie bezocht Backus het
IBM
-hoofdkantoor in Madison Avenue in New York. Na een spontane ondervraging door medewerkers, die hij later aanduidde als een mondeling examen, werd hij op staande voet aangenomen als
programmeur
vanaf
1950
.
[6]
In zijn eerste drie jaar werkte hij aan de
SSEC
; zijn eerste grote project was het schrijven van een programma om de posities van de
Maan
te bepalen.
Tot zijn pensioen in
1991
bleef hij bij IBM werken. Vervolgens trok hij zich geheel terug uit de wereld van de informatica en wijdde zich intensief toe aan de religieuze leringen van
Jiddu Krishnamurti
en
Eva Pierrakos
.
Een eerste
huwelijk
met Marjorie Jamison eindigde in een
scheiding
; zijn tweede vrouw Barbara Stannard overleed in 2004. John Backus overleed thuis op 82-jarige leeftijd. Hij liet twee dochters achter, Karen en Paula.
Bij de eerste computers moesten programma's in de vorm van voor mensen praktisch onleesbare
machinetaalinstructies
stuk voor stuk ingevoerd worden, wat omslachtig en foutgevoelig was. Toen John Backus bij IBM ging werken werd over het algemeen geprogrammeerd in voor specialisten beter leesbare
assembleertaal
, maar de opdrachten daarvan hebben nog steeds een een-op-een-correspondentie met machinetaalinstructies.
Hogere programmeertalen
waren er nog niet.
Backus was ontevreden met de stand van de informatica en wilde programmeren makkelijker maken. In
1953
kreeg hij toestemming van IBM om een team samen te stellen voor onderzoek naar betere programmeermethoden.
Het resultaat van deze inspanningen was een
compiler
voor
FORTRAN
op de
IBM 704
-computer, die in
1957
uit werd gebracht. In sommige gevallen stond een enkele Fortran-instructie gelijk aan twintig regels rauwe machinetaal. Met dit abstractere en intuitievere systeem konden programmeurs veel sneller werken; bovendien was de taal voor het eerst leesbaar voor niet-specialisten.
De compiler deed ook aan geavanceerde optimalisatietechnieken.
[7]
Hoewel FORTRAN niet de eerste hogere programmeertaal was, was het wel de eerste waarvoor er een compiler was geimplementeerd, en werd het de eerste die wijd gebruikt werd. Deze taal stelde voor het eerst ook niet-specialisten in staat om vakspecifieke problemen met computers op te lossen, in het bijzonder rekenproblemen, en werd in het bijzonder populair onder natuurwetenschappers en ingenieurs. Al snel groeide de creatie van Backus en zijn team uit tot de absolute wereldstandaard voor het programmeren van rekenintersieve problemen; en in 1958 werd voor het eerst de term 'software' geintroduceerd.
Backus maakte een andere, kritieke bijdrage aan de vroege informatica: in de tweede helft van de
jaren 1950
zat hij in de internationale comites die
ALGOL 58
en het zeer invloedrijke
ALGOL 60
ontwikkelden, die snel de
de facto
wereldstandaarden werden om
algoritmen
in te publiceren.
Hij ontwikkelde, voor een UNESCO-rapport dat in
1959
verscheen en waarin de kort daarvoor verschenen taal ALGOL 58 werd beschreven, een
formele
notatie waarmee elke
contextvrije
formele taal
beschreven kan worden. Nog in hetzelfde jaar wijzigde
Peter Naur
deze
metataal
, zodat die tot op heden de naam
Backus-Naur Form
(BNF) draagt, die ? vaak in licht gewijzigde vorm ? nog steeds veel gebruikt wordt bij het ontwikkelen van
compilers
.
Later werkte hij aan een
function-level
-programmeertaal genaamd
FP
, die hij in
1977
beschreef in zijn Turing Award-lezing "Can Programming be Liberated from the
von Neumann Style
?" Wederom was zijn doel om het programmeren makkelijker te maken, deze keer door een programmeerstijl die zich orienteert op wiskundige
functies
in plaats van de tot dan toe (en nog steeds) overheersende
imperatieve
programmeermethode. Sommigen zagen het als Backus' verdedigingsrede voor het maken van
FORTRAN
. De lezing veroorzaakte niet zozeer interesse in zijn taal FP, maar vormde wel een aanleiding voor onderzoek naar
functioneel programmeren
in het algemeen.
FP was sterk beinvloed door
Kenneth E. Iversons
programmeertaal
APL
, en gebruikte evenzo een niet-standaard
tekenverzameling
. Backus besteedde de rest van zijn carriere aan het ontwikkelen van FL (van
Function Level
), een opvolger van FP. FL was een intern onderzoeksproject van IBM, en de ontwikkeling van de taal eindigde in feite toen het project af was (er zijn nog maar een paar artikelen overgebleven die de taal documenteren), maar veel van de innovatieve en belangrijke ideeen uit de taal zijn nu geimplementeerd in Iversons programmeertaal
J
.
Backus werd benoemd tot
IBM Fellow
in
1963
. De
IEEE
kende hem in
1967
de W.W. McDowell Award toe voor het ontwikkelen van FORTRAN. In
1975
ontving hij de Amerikaanse
National Medal of Science
, en in
1977
de
ACM Turing Award
"voor diepgaande, invloedrijke en blijvende bijdragen aan het ontwerp van praktische hoog-niveau-programmeersystemen, met name door zijn werk aan FORTRAN, en voor oorspronkelijke publicaties van formele procedures voor het specificeren van programmeertalen" (oftewel BNF). In
1993
ontving hij de
Draper Prize
van de National Academy of Engineering.
De meeste wetenschappers zijn wetenschapper omdat ze bang zijn voor het leven. Het is fantastisch om uitvindingen te doen in de wetenschap, in een kader waarin men zich niet aan mensen hoeft te ergeren of onder relaties hoeft te lijden. Het is fantastisch daar buiten in de aseptische wereld, waarin er geen pijn is. Maar ooit moet men in zijn innerlijk schouwen en die angst overwinnen. Daarvoor zijn er geen programma's en ook geen zeer goede theorieen.
- ↑
https://www.ibm.com/ibm/history/exhibits/builders/builders_backus.html
; geraadpleegd op: 17 februari 2022.
- ↑
John Backus
. Association for Computing Machinery.
- ↑
https://www.nae.edu/55073/John-Backus
; geraadpleegd op: 17 februari 2022.
- ↑
https://events.seas.upenn.edu/distinguished-lectures/pender-lecture/
.
- ↑
a
b
MacTutor History of Mathematics archive
.
- ↑
(
en
)
interview met John Backus door Grady Booch
,
Oral History of John Backus
. Computer History Museum (YouTube) (
7 september 2006
).
Gearchiveerd
op
25 mei 2023
.
,
vanaf 05:09
- ↑
(
en
)
John Backus
,
The History of Fortran I, II, and III
.
IEEE Annals of the History of Computing, Vol. 20, No. 4
. Computer History Museum (YouTube) (1998).
Gearchiveerd
op
5 december 2022
.
,
pp. 73-74
1966:
Alan J. Perlis
·
1967:
Maurice V. Wilkes
·
1968:
Richard Hamming
·
1969:
Marvin Minsky
·
1970:
J.H. Wilkinson
·
1971:
John McCarthy
·
1972:
Edsger Dijkstra
·
1973:
Charles W. Bachman
·
1974:
Donald E. Knuth
·
1975:
Allen Newell
,
Herbert Simon
·
1976:
Michael Rabin
,
Dana S. Scott
·
1977:
John Backus
·
1978:
Robert W. Floyd
·
1979:
Kenneth E. Iverson
·
1980:
Tony Hoare
·
1981:
Edgar F. (Ted) Codd
·
1982:
Stephen A. Cook
·
1983:
Ken Thompson
,
Dennis M. Ritchie
·
1984:
Niklaus Wirth
·
1985:
Richard M. Karp
·
1986:
John Hopcroft
,
Robert Tarjan
·
1987:
John Cocke
·
1988:
Ivan Sutherland
·
1989:
William Kahan
·
1990:
Fernando J. Corbato
·
1991:
Robin Milner
·
1992:
Butler Lampson
·
1993:
Juris Hartmanis
,
Richard E. Stearns
·
1994:
Edward Feigenbaum
,
Raj Reddy
·
1995:
Manuel Blum
·
1996:
Amir Pnueli
·
1997:
Douglas Engelbart
·
1998:
Jim Gray
·
1999:
Frederick P. Brooks, Jr.
·
2000:
Andrew Chi-Chih Yao
·
2001:
Ole-Johan Dahl
,
Kristen Nygaard
·
2002:
Ron Rivest
,
Adi Shamir
,
Leonard M. Adleman
·
2003:
Alan Kay
·
2004:
Vinton G. Cerf
,
Robert E. Kahn
·
2005:
Peter Naur
·
2006:
Frances E. Allen
·
2007:
Edmund M. Clarke
,
E. Allen Emerson
,
Joseph Sifakis
·
2008:
Barbara Liskov
·
2009:
Charles Thacker
·
2010:
Leslie Valiant
·
2011:
Judea Pearl
·
2012:
Shafi Goldwasser
,
Silvio Micali
·
2013:
Leslie Lamport
·
2014:
Michael Stonebraker
·
2015:
Martin Hellman
,
Whitfield Diffie
·
2016:
Tim Berners-Lee
·
2017:
John L. Hennessy
,
David Patterson
·
2018:
Yoshua Bengio
,
Geoffrey Hinton
,
Yann LeCun
·
2019:
Patrick M. Hanrahan
,
Edwin E. Catmull
·
2020:
Alfred Aho
,
Jeffrey Ullman
·
2021:
Jack Dongarra
·
2022:
Robert Metcalfe
·
2023:
Avi Wigderson