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”
George Boolos, filósofo e professor. George S. Boolos (nasceu em 4 de setembro…