Kenneth Iverson

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Kenneth Iverson
Conhecido(a) por Linguagens de programação: APL e J
Nascimento 17 de dezembro de 1920
Camrose, Alberta
Morte 19 de outubro de 2004 (83 anos)
Toronto
Nacionalidade Canadense
Prêmios Prêmio Memorial Harry H. Goode (1975), Prêmio Turing (1979), Prêmio Pioneiro da Computação (1981)
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 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.[1]

A Iverson se atribui a definição das funções piso e teto pelos termos floor e ceiling, com seus respectivos símbolos ⎣ ⎦ e ⎡ ⎤.[2] Outra notação a ele atribuída são os chamados colchetes de Iverson.

Referências

  1. 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
  2. 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[editar | editar código-fonte]

Bibliografia[editar | editar código-fonte]

  • IVERSON, Kenneth E. (1962). A Programming Language. New York: John Wiley and Sons. 286 páginas. Library of Congress Catalog card Number: 62-15180 

Ligações externas[editar | editar código-fonte]


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


Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.