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