George Boolos, foi professor de linguística e filosofia no Instituto de Tecnologia de Massachusetts e presidente da Associação para o Conhecimento Simbólico, uma autoridade na obra do matemático e filósofo alemão do século XIX Gottlob Frege (1848 — 1925), amplamente considerado o fundador da lógica moderna, foi autor de dois livros publicados pela Cambridge University Press: “The Logic of Provability” (1993) e, em coautoria com Richard C. Jeffrey, “Computability and Logic”

0
Powered by Rock Convert

George Boolos, filósofo e professor.

 

 

George S. Boolos (nasceu em 4 de setembro de 1940, em Nova Iorque, Nova York — faleceu em 27 de maio de 1996, em Cambridge, Massachusetts), foi professor de linguística e filosofia no Instituto de Tecnologia de Massachusetts e presidente da Associação para o Conhecimento Simbólico, professor de Linguística e Filosofia no Instituto de Tecnologia de Massachusetts (MIT) e presidente da Associação de Lógica Simbólica.

O professor Boolos, um proeminente lógico e filósofo, era conhecido internacionalmente como um dos criadores da lógica da demonstrabilidade, o estudo da lógica das afirmações e do que pode e não pode ser provado dentro dos sistemas matemáticos.

Ele foi recentemente nomeado Professor Rockefeller de Filosofia no MIT.

O professor Boolos, uma autoridade na obra do matemático e filósofo alemão do século XIX Gottlob Frege (1848 — 1925), amplamente considerado o fundador da lógica moderna, recebeu uma bolsa Guggenheim em 1996 para concluir um livro sobre Frege.

O Professor Boolos, um proeminente lógico e filósofo, era internacionalmente conhecido como um dos criadores da lógica da demonstrabilidade. Ele também era uma das principais autoridades na obra do matemático e filósofo alemão do século XIX, Gottlob Frege, amplamente considerado o fundador da lógica moderna. O trabalho do Professor Boolos contribuiu para uma importante e contínua reavaliação da importância das conquistas filosóficas e técnicas de Frege, especialmente sua tentativa de demonstrar que as leis básicas da aritmética são, em si mesmas, princípios da lógica.

Em janeiro de 1995, ele foi eleito presidente da Associação de Lógica Simbólica, uma sociedade multinacional de matemáticos, cientistas da computação, linguistas e filósofos interessados ​​em lógica formal ou matemática e áreas afins.

Ele foi autor de dois livros publicados pela Cambridge University Press: “The Logic of Provability” (1993) e, em coautoria com Richard C. Jeffrey, “Computability and Logic”, publicado pela primeira vez em 1974.

O professor Boolos, nascido em Manhattan, formou-se em Princeton em 1961 com um bacharelado em matemática. Frequentou a Universidade de Oxford como bolsista Fulbright, obtendo um bacharelado em filosofia em 1963.

Em 1966, recebeu o primeiro doutorado em filosofia concedido pelo MIT. Nos três anos seguintes, lecionou na Universidade Columbia antes de retornar ao MIT.

Ele não era apenas um inovador, mas também um professor excepcionalmente eficaz, tanto em sala de aula quanto pela notável clareza e sagacidade de suas exposições, que incluíam uma descrição precisa e exata do famoso Teorema da Incompletude de Kurt Gödel (1906 — 1978), expressa inteiramente em palavras monossilábicas.

O Professor Boolos havia recebido uma Bolsa Guggenheim em 1996 para concluir um livro sobre Frege e fora recentemente nomeado Professor Rockefeller de Filosofia no MIT. Ele era o autor de *The Logic of Provability* e, com Richard C. Jeffrey, de *Computability and Logic*, um dos livros didáticos mais utilizados em lógica intermediária. Era também um especialista em quebra-cabeças de todos os tipos, desde palavras cruzadas até o Cubo de Rubik.

Em 1993, classificou-se para a final regional de Londres do concurso de palavras cruzadas do jornal The Times de Londres, onde sua pontuação foi uma das mais altas já registradas por um americano.

Nascido na cidade de Nova York, o Professor Boolos formou-se em Princeton em 1961 com bacharelado em matemática. Como bolsista Fulbright, frequentou Oxford, onde obteve o título de Bacharel em Filosofia (B.Phil.) em 1963. Ele também é o primeiro doutor em filosofia concedido pelo MIT (1966). Lecionou na Universidade Columbia por três anos antes de retornar ao MIT em 1969.

George S. Boolos faleceu na segunda-feira 27 de maio de 1996 em sua casa em Cambridge, Massachusetts. Ele tinha 55 anos.

A causa foi câncer de pâncreas, disse sua esposa, Sally Sedgwick, professora de filosofia no Dartmouth College.

Além de sua esposa, de Thetford, Vermont, o professor Boolos deixa sua mãe, Blanche, de Manhattan, e um filho, Peter, de um casamento anterior.

Ele deixa sua mãe, Sra. Stephen Boolos, da cidade de Nova York; sua esposa, a filósofa Sally Sedgwick, do Dartmouth College; e um filho de um casamento anterior, Peter D. Boolos.

(Créditos autorais reservados: https://www.nytimes.com/1996/05/30/us — New York Times/ NÓS/ Por Lawrence Van Gelder — 30 de maio de 1996)

Sobre o Arquivo
Esta é uma versão digitalizada de um artigo do arquivo impresso do The Times, anterior ao início da publicação online em 1996. Para preservar esses artigos como foram originalmente publicados, o The Times não os altera, edita ou atualiza.
Ocasionalmente, o processo de digitalização introduz erros de transcrição ou outros problemas; continuamos a trabalhar para melhorar estas versões arquivadas.
Uma versão deste artigo foi publicada na edição impressa de 30 de maio de 1996 , Seção , Página 24 da edição nacional, com o título: George Boolos, filósofo.
(Créditos autorais reservados: https://news.mit.edu/1996 – Instituto de Tecnologia de Massachusetts/ CAMBRIDGE, Massachusetts – 29 de maio de 1996)
Powered by Rock Convert
Share.