ProofWiki:Mathematicians/Kenneth Eugene Iverson

Canadian computer scientist best known for his invention of the computer language APL.

Also known for the notation known as Iverson's convention.

Introduced the notation:

• $\left \lfloor {x} \right \rfloor$ for the floor of $x$, and
• $\left \lceil {x} \right \rceil$ for the ceiling of $x$.

Nationality

Canadian

History

• Born: 17 December 1920, Camrose, Alberta, Canada
• Died: 19 October 2004

Theorems and Definitions

• 1962: Iverson's Convention

Books, Publications, etc.

• 1962: A Programming Language
• 1963: Automatic Data Processing (with Frederick Brooks)
• 1964: A formal Description of the System /360, (with A. D. Falkoff and E. H. Sussenguth)
• 1966: Elementary Functions: An Algorithmic Treatment
• 1968: APL\360:User's Manual (with A. D. Falkoff)
• 1972: Algebra: An Algorithmic Treatment
• 1972: APL in Exposition
• 1973: The Design of APL (with A. D. Falkoff)
• 1976: Elementary Analysis
• 1978: The Evolution of APL (with A. D. Falkoff)
• 1980: Notation as a Tool of Thought (1979 ACM Turing Award Lecture)
• 1981: A Source Book In APL (with Adin D. Falkoff)
• 1990: Tangible Math
• 1991: A Personal View of APL
• 1991: The ISI Dictionary of J