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
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 1920Toronto, 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 : https://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