Kenneth Iverson | |
---|---|
Linguagens de programação: APL e J | |
Nascimento | 17 de dezembro de 1920[[Categoria:Predefinição:Categorizar-ano-século-milénio/1]] Camrose, Alberta |
Morte | 19 de outubro de 2004 (83 anos)[[Categoria:Predefinição:Categorizar-ano-século-milénio/1]] Toronto |
Nacionalidade | canadense |
Prêmios | Prêmio Memorial Harry H. Goode (1975), Prêmio Turing (1979), Prêmio Pioneiro da Computação (1981) |
Orientador(es) | Howard Aiken e Wassily Leontief[1] |
Instituições | Universidade Harvard, IBM, I. P. Sharp Associates |
Campo(s) | matemática, ciência da computação |
Kenneth Eugene Iverson (Camrose, Alberta, 17 de dezembro de 1920 — Toronto, 19 de outubro de 2004) foi um matemático canadense.
Desenvolveu as linguagens de programação APL e J. Em 1979 recebeu o Prêmio Turing.[2]
A Iverson se atribui a definição das funções piso e teto pelos termos floor e ceiling, com seus respectivos símbolos ⎣ ⎦
e ⎡ ⎤
.[3] Outra notação a ele atribuída são os chamados colchetes de Iverson.
Referências
- ↑ Predefinição:MathGenealogy
- ↑ Iverson K.E.,"Notation as a tool of thought", Communications of the ACM, 23: 444-465 (Agosto 1980). (Disponível também em : http://www.jsoftware.com/papers/tot.htm) Acesso em 06Jul2018
- ↑ Earliest Known Uses of Some of the Words of Mathematics. (Letra C) “The terms CEILING FUNCTION and FLOOR FUNCTION appear in Kenneth E. Iverson’s A Programming Language (1962, p. 12): "Two functions are defined: 1. the floor of x (or integral part of x) denoted by ⎣x⎦ and defined as the largest integer not exceeding x, 2. the ceiling of x denoted by ⎡x⎤ and defined as the smallest integer not exceeded by x." This was the first appearance of the terms and symbols, according to R. L. Graham, D. E. Knuth & O. Patashnik Concrete Mathematics: A Foundation for Computer Science (1989, p. 67).”
Ver também
Bibliografia
- IVERSON, Kenneth E. (1962). A Programming Language (em English). New York: John Wiley and Sons. 286 páginas. ISBN 978-0-471-43014-8. Library of Congress Catalog card Number: 62-15180. Consultado em 22 de agosto de 2021
Ligações externas
- An autobiographical essay. Autobiografia de Kenneth Iverson publicada na revista Vector, vol.23, n.4. (2008).
- J Papers inclui diversos artigos escritos por Iverson.
- Wikiquote contém citações relacionadas a Kenneth Iverson.
- RedirecionamentoPredefinição:fim
Precedido por Robert Floyd |
Prêmio Turing 1979 |
Sucedido por Charles Antony Richard Hoare |