Quelltext der Seite Kenneth E. Iverson

[[Datei:KEI with ATW NY Aug 1989 (cropped) - Ken Iverson.png|mini|Kenneth E. Iverson, 1989]]
'''Kenneth Eugene „Ken“ Iverson''' (* [[17. Dezember]] [[1920]] in [[Camrose]], [[Alberta]]; † [[19. Oktober]] [[2004]] in [[Toronto]], [[Ontario]]) war ein [[Kanada|kanadischer]] [[Mathematik]]er und [[Informatik]]er, der die [[Programmiersprache]]n [[APL (Programmiersprache)|APL]] und [[J (Programmiersprache)|J]] entwickelt hat.

== Leben ==
Iverson wuchs auf einer Farm im ländlichen Alberta auf. Vier Monate nach seinem fünften Geburtstag wurde er in eine Schule bestehend aus einem Raum und einem Lehrer eingeschult. Er übersprang mehrere Klassen und wechselte mit zwölf Jahren in die neunte Klasse einer nahen Dorfschule, die er während der zehnten Klasse abbrach, um auf der Farm zu arbeiten. Nebenbei belegte er einen Kurs in Elektrotechnik. 1942 wurde er in die [[Royal Canadian Air Force (1924–1968)|Royal Canadian Air Force]] eingezogen. Während des Zweiten Weltkriegs belegte er acht Fernkurse der [[Royal Canadian Legion]] und wurde von seinen Kameraden von einem Studium überzeugt. Nach seiner Entlassung 1946 ging er an die [[Queen’s University (Kingston)|Queen’s University]] in [[Kingston (Ontario)|Kingston]], Ontario, und machte 1950 seinen Bachelor in Mathematik und Physik, und an der [[Harvard University]] in [[Cambridge (Massachusetts)|Cambridge]], [[Massachusetts]] schließlich 1951 den Master in Angewandter Mathematik sowie 1954 bei [[Howard Hathaway Aiken]] den [[Ph.D.]] mit der Schrift ''Machine Solutions of Linear Differential Equations: Applications to a Dynamic Economic Model''.<ref>{{MathGenealogyProject|id=25261}} abgerufen am 14. Mai 2024.</ref> Von 1955 bis 1960 lehrte er an der Harvard-Universität als Assistant Professor Angewandte Mathematik, wo er mit Aiken, [[Fred Brooks]] und anderen auch den ersten Master-Kurs für Informatik (''Automatic Data Processing'') aufbaute.

Danach wechselte er in die Forschungsabteilung von [[IBM]], wo er bis 1980 wirkte. Ab 1980 war er für den [[Time-Sharing (Informatik)|Time-Sharing]]-Dienstleister I. P. Sharp Associates in Toronto tätig, bevor er 1987 in den Ruhestand ging, den er weiter intensiv forschend und entwickelnd verbrachte.

== Leistungen ==
Während seiner Tätigkeit an der Harvard University hatte Kenneth E. Iverson eine eigene Notation für den Umgang mit [[Feld (Datentyp)|Arrays]] entwickelt, die er erfolgreich in der Lehre einsetzte. Auch in seinem halbjährigen Sabbatical 1957 bei [[McKinsey & Company]] hatte er sie verwenden können. Bei [[IBM Research]] baute er die Notation zu einer [[Formale Sprache|formalen Sprache]] aus und veröffentlichte sie 1962 in dem Buch ''A Programming Language'', das im Verlag [[John Wiley & Sons|John Wiley]] erschienen ist. Die von ihm entwickelte Sprache, nach dem Buchtitel [[APL (Programmiersprache)|APL]] genannt, wurde zunächst zur formalen Beschreibung der Computerfamilie [[System/360|IBM System/360]] eingesetzt, die ab 1964 wesentlich zum großen Erfolg von IBM beigetragen hat. 1965 wurde der erste APL-[[Interpreter]] für die [[Stapelverarbeitung]] fertig, wodurch APL zu einer ausführbaren Programmiersprache wurde. 1966 folgte das interaktive System APL\360, das zum Ausgangspunkt aller weiteren APL-Interpreter wurde. Verschiedene IBM-Rechner waren auch mit speziell an APL angepassten Tastaturen erhältlich. Kenneth E. Iverson war zusammen mit [[Adin Falkoff]] maßgeblich an der Entwicklung dieser Systeme beteiligt. Unter anderem hat er auch das IBM Philadelphia Scientific Center zur Weiterentwicklung von APL mitgegründet. Später hat er mehrere Programmiersprachen entworfen, die Weiterentwicklungen und Verbesserungen von APL darstellen, darunter ab 1990 gemeinsam mit [[Roger Hui]] die Sprache [[J (Programmiersprache)|J]].

Auch von ihm sind die floor- und ceiling-Klammer, d.&nbsp;h. die Notation für die [[Gaußklammer|floor- und die ceiling-Funktion]]. Außerdem die in der theoretischen Informatik häufig verwandte Abbildung eines Prädikates auf einen einstelligen binären Zahlenwert, um für komplexere Probleme geschlossene Formeln zu erhalten (siehe [[Prädikatabbildung]]).

== Ehrungen ==
Für die Entwicklung von APL sowie für seine Beiträge zur Implementierung interaktiver Systeme wurde Kenneth E. Iverson 1979 mit dem [[Turing Award]] der [[Association for Computing Machinery|ACM]] ausgezeichnet. 1982 hat er den Pioneer Award des [[IEEE]] erhalten, 1991 die [[National Medal of Technology]] der USA. Er war Mitglied der [[National Academy of Engineering]] der USA. 1970 wurde er zum [[IBM Fellow]] ernannt.

== Schriften ==
* ''A Programming Language.'' Wiley, New York City, 1962.
* mit [[Frederick P. Brooks]]: ''Automatic Data Processing.'' Wiley, New York City, 1963.

== Weblinks ==
* [http://www.jsoftware.com/papers/autobio1.htm Autobiografie], mit Donald B. McIntyre verfasst (englisch)
* {{Webarchiv | url=http://www.vector.org.uk/archive/v223/ | wayback=20080702200343 | text=Iverson-Gedächtnisausgabe von ''Vector'', dem Journal der British APL Association}}, Vol. 22, No. 3, August 2006 (englisch)
* [http://campus.acm.org/public/pressroom/press_releases/11_2004/iverson_11_10_2004.cfm Nachruf der ACM] (englisch)
* [https://zbmath.org/authors/iverson.kenneth-e Kenneth E. Iverson] in der Datenbank [[zbMATH]]

== Einzelnachweise ==
<references />

{{Navigationsleiste Träger des Turing-Awards}}
{{Normdaten|TYP=p|GND=|LCCN=n/84/8141|VIAF=8776065|NDL=00444353|GNDfehlt=ja|GNDCheck=2019-04-16}}

{{SORTIERUNG:Iverson, Kenneth E.}}
[[Kategorie:Mathematiker (20. Jahrhundert)]]
[[Kategorie:Informatiker]]
[[Kategorie:Träger des Turing Award]]
[[Kategorie:IBM Fellow]]
[[Kategorie:Kanadier]]
[[Kategorie:Geboren 1920]]
[[Kategorie:Gestorben 2004]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Iverson, Kenneth E.
|ALTERNATIVNAMEN=Iverson, Kenneth; Iverson, Ken; Iverson, Kenneth Eugene
|KURZBESCHREIBUNG=kanadischer Mathematiker und Informatiker
|GEBURTSDATUM=17. Dezember 1920
|GEBURTSORT=[[Camrose]]
|STERBEDATUM=19. Oktober 2004
|STERBEORT=[[Toronto]]
}}