Kenneth E. Iverson

Datei:KEI with ATW NY Aug 1989 (cropped) - Ken Iverson.png

Kenneth E. Iverson, 1989

Kenneth Eugene „Ken“ Iverson (* 17. Dezember 1920 in Camrose, Alberta; † 19. Oktober 2004 in Toronto, Ontario) war ein kanadischer Mathematiker und Informatiker, der die Programmiersprachen APL und 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 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 in Kingston, Ontario, und machte 1950 seinen Bachelor in Mathematik und Physik, und an der Harvard University in 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>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 25261 | {{#ifeq: {{#property:P549}} | 25261 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }} 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-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 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 formalen Sprache aus und veröffentlichte sie 1962 in dem Buch A Programming Language, das im Verlag John Wiley erschienen ist. Die von ihm entwickelte Sprache, nach dem Buchtitel APL genannt, wurde zunächst zur formalen Beschreibung der Computerfamilie 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.

Auch von ihm sind die floor- und ceiling-Klammer, d. h. die Notation für die 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 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

Autobiografie, mit Donald B. McIntyre verfasst (englisch)
<templatestyles src="Webarchiv/styles.css" />{{#if:20080702200343

      | {{#ifeq: 20080702200343 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association | {{#invoke:WLink|getEscapedTitle|Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association}} | {{#invoke:Webarchiv|getdomain|http://www.vector.org.uk/archive/v223/}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20080702200343}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association | {{#invoke:WLink|getEscapedTitle|Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association}} | {{#invoke:Webarchiv|getdomain|http://www.vector.org.uk/archive/v223/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20080702200343}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association | {{#invoke:WLink|getEscapedTitle|Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association}} | {{#invoke:Webarchiv|getdomain|http://www.vector.org.uk/archive/v223/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association | {{#invoke:WLink|getEscapedTitle|Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association}} | {{#invoke:Webarchiv|getdomain|http://www.vector.org.uk/archive/v223/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association | {{#invoke:WLink|getEscapedTitle|Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association}} | {{#invoke:Webarchiv|getdomain|http://www.vector.org.uk/archive/v223/}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association | {{#invoke:WLink|getEscapedTitle|Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association}} | {{#invoke:Webarchiv|getdomain|http://www.vector.org.uk/archive/v223/}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20080702200343|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.vector.org.uk/archive/v223/}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association
    | {{#if: {{#invoke:WLink|isBracketedLink|Iverson-Gedächtnisausgabe von Vector, dem Journal der British APL Association}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.vector.org.uk/archive/v223/%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.vector.org.uk/archive/v223/%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.vector.org.uk/archive/v223/ }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}, Vol. 22, No. 3, August 2006 (englisch)

Nachruf der ACM (englisch)
Kenneth E. Iverson in der Datenbank zbMATH

Einzelnachweise

Vorlage:Navigationsleiste Träger des Turing-Awards

{{#ifeq: p | p | | {{#if: n/84/8141004443538776065 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: n/84/8141004443538776065 | |

}} }}{{#ifeq:||{{#if: 2019-04-16 | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|2019-04-16|7}}]] }}{{#if: ja | {{#if: 2019-04-16 | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/84/8141 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/84/8141 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 8776065 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 8776065 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Iverson, Kenneth E. | {{#if: Iverson, Kenneth; Iverson, Ken; Iverson, Kenneth Eugene | {{#if: kanadischer Mathematiker und Informatiker | {{#if: 17. Dezember 1920 | {{#if: Camrose | {{#if: 19. Oktober 2004 | {{#if: Toronto |

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 }}

Vorlage:Wikidata-Registrierung