Antes de se graduar em física pela Universidade Federal do Rio de Janeiro, em 1980, Cosme Damião Bastos Massi (1958) já desenvolvia pesquisas em iniciação científica e se interessava por questões ligadas aos fundamentos da fisica e à lógica matemática.
Massi continuou seus estudos em lógica e filosofia da ciência no programa de pós-graduação do Instituto de Filosofia e Ciências Humanas da Universidade Estadual de Campinas, entrando no campo da teoria da prova. Seu projeto era provar uma proposição de Dag Prawitz, da”escola escandinava de teoria da prova”, denominado”teorema de normalização simples para a lógica clássica de primeira ordem completa”. Em sua tese de doutorado, “Provas de normalização para a lógica clássica”, defendida na mesma instituição em 1990, assumiu o problema proposto por Per-Martin Löf, que consiste em definir um conceito de”pior seqüência de redução” para as derivações. Com este trabalho – que lhe valeu o Prêmio Santista Juventude – conseguiu provar que, se a pior seqüência de redução termina, então todas as seqüências terminam em uma única forma normal.
