Kenneth Iverson

Kenneth Iverson
Linguagens de programação: APL e J
Nascimento17 de dezembro de 1920
Camrose, Alberta
Morte19 de outubro de 2004 (83 anos)
Toronto
Nacionalidadecanadense
CidadaniaCanadá
Alma mater
  • Universidade Harvard
  • Queen's University
  • Harvard School of Engineering and Applied Sciences
Ocupaçãomatemático, cientista de computação
DistinçõesPrêmio Memorial Harry H. Goode (1975), Prêmio Turing (1979), Prêmio Pioneiro da Computação (1981)
Empregador(a)IBM, Universidade Harvard
Orientador(a)(es/s)Howard Aiken e Wassily Leontief[1]
InstituiçõesUniversidade Harvard, IBM, I. P. Sharp Associates

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

  1. Kenneth Iverson (em inglês) no Mathematics Genealogy Project
  2. 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
  3. 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 inglês). 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


Precedido por
Robert Floyd
Prêmio Turing
1979
Sucedido por
Charles Antony Richard Hoare