A Notação como Pensamento: A Trajetória de Kenneth Iverson da Roça em Alberta ao Prêmio Turing

Em plena Grande Depressão, Kenneth Iverson, aos 17 anos, trabalhava na fazenda de sua família em Alberta, no Canadá. Após ter deixado a escola ao concluir o 9º ano para ajudar na lida agrícola, Iverson optou por estudar por conta própria, dedicando-se de forma autodidata a um livro didático de cálculo. Essa experiência precoce com o estudo independente definiu a trajetória que culminaria em seu retorno à educação formal após a Segunda Guerra Mundial.

Em 1950, ele se formou na Queen's University com bacharelado em matemática e física, sendo o melhor aluno de sua turma. Em seguida, ingressou na Universidade Harvard para cursar a pós-graduação sob a orientação do pioneiro da computação Howard Aiken. Em Harvard, Iverson escreveu programas para o computador Harvard Mark IV com o intuito de avaliar grandes matrizes de insumo-produto para o economista Wassily Leontief.

Estudo Autodidata e o Aprendizado em Harvard

Iverson descreveu sua pós-graduação sob a tutela de Aiken como um aprendizado prático focado na clareza de pensamento e no rigor matemático. Ao trabalhar ao lado de pesquisadores que projetavam e construíam os primeiros computadores digitais, Iverson adquiriu experiência direta na manipulação de estruturas de arranjos multidimensionais voltados a modelos econômicos complexos.

Uma Notação para o Processamento de Dados Comerciais

Como professor assistente em Harvard em meados da década de 1950, Iverson foi encarregado por Aiken de projetar e lecionar o primeiro curso de pós-graduação do mundo em processamento de dados comerciais. Ao estruturar o currículo, Iverson se viu insatisfeito com a notação matemática padrão. As expressões convencionais careciam da precisão e da sintaxe necessárias para descrever com clareza operações em estruturas de dados como vetores e matrizes.

Para resolver esse problema, ele começou a expandir a álgebra matricial e a notação tensorial em um novo sistema unificado. Em vez de descrever o cálculo passo a passo na notação tradicional, seu sistema permitia que operações sobre arranjos inteiros de números fossem expressas por meio de operadores concisos e poderosos.

Do 'Manual Cinzento' ao APL\360

Em 1960, Iverson ingressou na IBM Research, onde publicou sua notação formal no livro de 1962 intitulado A Programming Language. Seu trabalho chamou a atenção dos colegas de IBM Adin Falkoff e Ed Sussenguth. Em 1964, o trio publicou uma descrição formal completa da arquitetura do computador IBM System/360, escrita inteiramente na notação de Iverson. Publicado no IBM Systems Journal, esse trabalho fundamental ficou conhecido em toda a indústria da computação como o "manual cinzento".

A notação teórica evoluiu rapidamente para uma linguagem de programação executável chamada APL. Desenvolvedores criaram um sistema de execução interativo com compartilhamento de tempo para os computadores da IBM, salvando o espaço de trabalho histórico registrado como 1 cleanspace em 27 de novembro de 1966. O APL\360 interativo oferecia retorno imediato aos programadores, demonstrando como uma notação concisa podia servir também como uma linguagem executável.

O Prêmio Turing e a Criação do J

Iverson recebeu o Prêmio Turing em 1979 por suas contribuições pioneiras no campo das linguagens de programação, notação matemática e sistemas interativos. Contudo, ele continuou a aprimorar a notação de arranjos muito tempo após deixar a IBM. Em um fim de semana de verão em 1989, o cientista da computação Arthur Whitney escreveu, em uma única tarde, um fragmento de intérprete de uma página em um computador AT&T 3B1.

Inspirado pelo código mínimo de Whitney, Iverson colaborou com Roger Hui para criar a linguagem de programação J. Projetada como um dialeto moderno do APL que utilizava caracteres ASCII padrão, a linguagem J eliminou a necessidade de teclados físicos especiais, mantendo a expressividade do processamento de arranjos.

A dedicação contínua de Iverson à sintaxe matemática transformou a notação executável de um experimento acadêmico em uma ferramenta prática para a computação analítica, deixando como legado sistemas como o APL e o J, que continuam a influenciar o projeto de linguagens focadas em arranjos.

Imagem de capa: ilustração gerada por IA; não é uma fotografia documental.

Fonte: Kenneth E. Iverson