Mathematician: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