Definition:Iverson's Convention/Historical Note
Jump to navigation
Jump to search
Historical Note on Iverson's Convention
The Iverson's convention was invented by Kenneth Eugene Iverson in $1962$.
The specific use of square brackets was advocated by Donald Knuth to avoid ambiguity in parenthesized logical expressions.
Sources
- 1992: Donald E. Knuth: Two Notes on Notation (Amer. Math. Monthly Vol. 99: pp. 403 – 422) www.jstor.org/stable/2325085
- 1997: Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.) ... (previous) ... (next): $\S 1.2.3$: Sums and Products