John P. Burgess George S. Boolos

George S. Boolos (1940-1996) foi um filósofo e lógico matemático americano, professor de filosofia no Instituto de Tecnologia de Massachusetts (MIT). Formado em matemática pela Universidade de Princeton e com um B.Phil. pela Universidade de Oxford, Boolos dedicou sua carreira acadêmica ao estudo aprofundado da lógica e seus fundamentos. Sua obra "Computabilidade e lógica", escrita em coautoria com John P. Burgess e Richard C. Jeffrey, é um marco na área. Boolos também publicou trabalhos importantes como "The Logic of Provability" e "The Unprovability of Consistency". Seus temas de pesquisa incluíam a lógica da provabilidade, a filosofia da matemática e a obra de Frege, consolidando-o como uma figura relevante no campo da lógica simbólica.