Mario Tourasse Teixeira

Mario Tourasse Teixeira nasceu em Recife, Pernambuco, a 11 de setembro de 1925. Licenciou-se em Matemática pela Faculdade Nacional de Filosofia da Universidade do Brasil, em 1954, hoje Universidade Federal do Rio de Janeiro. Especializou-se em Fundamentos da Matemática e Lógica Simbólica, sob a orientação de Edson Farah, na Universidade de São Paulo (USP), com apoio financeiro do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) e incentivo do professor Leopoldo Nachbin. Durante os anos de 1955 e 1956 foi professor auxiliar de Ensino, sem proventos, da Cadeira de Análise Matemática e Análise Superior, da Seção de Álgebra Moderna da Universidade do Brasil. Ainda em 1956, foi professor assistente da cadeira de Análise Matemática da Faculdade Fluminense de Filosofia. De 1957 a 1958, Mario Tourasse obteve bolsa do CNPq e realizou estágio de aperfeiçoamento em Lógica Matemática e Teoria dos Conjuntos, no Departamento de Matemática da Faculdade de Filosofia da Universidade de São Paulo, sob orientação de Edson Farah. Nessa época constitui-se um grupo pioneiro de estudiosos da Lógica no qual participavam Benedito Castrucci, Newton Affonso Carneiro da Costa, Leônidas Hegenberg e Mario Tourasse Teixeira sob a coordenação do professor Edson Faranh. Tourasse foi contratado em 1959 para ocupar a Cadeira de Geometria Analítica, Projetiva e Descritiva, convidado pelo professor Nelson Onuchic. A partir de 1964 assumiu a cadeira de Álgebra Moderna do curso de Matemática. Ele e Nelson Onuchic foram responsáveis pela criação do curso e o do Departamento de Matemática nessa Instituição. A Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) e o CNPq apoiaram financeiramente Mario Tourasse para especializar-se em Álgebra da Lógica e Funções Recursivas, de agosto de 1960 a fevereiro de 1961, sob a orientação de Antônio Monteiro e de Jean Porte, na Universidad Nacional del Sur (Bahía Blanca) e no Centro Atômico de Bariloche, Argentina. Em 22 de dezembro de 1965, na Faculdade de Filosofia, Ciências e Letras da USP em São Paulo, sob a orientação de Antônio Monteiro defendeu a tese M-Álgebras e obteve o seu doutorado. Em janeiro de 1967 através da lei Estadual 9.715, a FFCL de Rio Claro é incorporada a Universidade Estadual de Campinas (Unicamp) e em outubro o professor Tourasse foi indicado para ser coordenador associado do Instituto de Matemática. Em janeiro de 1976, foi criada a Universidade Estadual Paulista “Júlio de Mesquita Filho”, UNESP (Lei Estadual 952), que incorporou a FFCL/Rio Claro. Mario Tourasse tornou-se Professor Titular na FFCL/Rio Claro, em 1971. De julho de 1988 a abril de 1989, Tourasse foi vice-coordenador da Pós-graduação em Educação Matemática e aposentou-se em maio de 1991, pela UNESP de Rio Claro. Em 1974, por iniciativa sua, foi criado o Serviço Ativador em Pedagogia e Orientação (SAPO), no Departamento de Matemática da FFCL/Rio Claro, que refletia seu pensamento, e de outros professores, acerca dos métodos de ensino e aprendizagem. Os temas de estudo de Mario Tourasse Teixeira são: operador de conseqüência de Tarski; estruturas algébricas associadas ao cálculo proposicional; modelos sentenciais; lógica proposicional, baseada em uma noção geral de complemento; endomorfismos duais em reticulados distributivos (estes são resultado do período em que o professor Tourasse esteve sob a orientação do professor Antonio Monteiro, em Bahía Blanca); funções recursivas; fundamentos da geometria e topologia algébrica (sob orientação do professor Gilberto Loibel, da Escola de Engenharia de São Carlos); estruturas matemáticas relacionadas com a lógica (trabalho publicado no Boletim da Sociedade de Matemática de São Paulo e apresentado e no II Colóquio Brasileiro de Matemática); estudo sobre os fundamentos da Geometria, baseando a Geometria Projetiva num operador de complemento (estudo apresentado na Universidade do Paraná); métodos de decisão em Lógica e Matemática; sistemas formais para a Matemática; universos ordenados e teoria dos conjuntos (em colaboração com Euclides Alves de Oliveira); operadores de fecho generalizados (em colaboração com Itala M. L. D’Ottaviano); fundamentos da Matemática (estudo realizado em colaboração com o Departamento de Ciências Sociais/ UNESP/Rio Claro). Ele foi homenageado na II Reunião Regional da Sociedade Brasileira de Matemática e Encontro de Lógica, realizado em Rio Claro, em 1991, no Seminário de Análise (Rio Claro, 1993), nas “Jornadas Unespianas de História da Matemática”, no “XI Encontro Brasileiro de Lógica” realizado em Salvador-BA, em 2003, quando se completou dez anos de seu falecimento. Mario Tourasse Teixeira é considerado um dos lógicos mais importantes da sua época e “um educador de corpo inteiro”, segundo palavras de Irineu Bicudo. O professor Tourasse faleceu devido a um infarto, no dia 12 de junho de 1993, em Rio Claro, São Paulo.