The Logic of Provability

George S. Boolos foi um filósofo e lógico matemático americano, reconhecido por seu trabalho pioneiro em lógica de provabilidade e por sua profunda autoridade na obra de Gottlob Frege. Nascido em Nova York, Boolos dedicou sua carreira acadêmica ao estudo da lógica, lecionando no MIT e na Columbia University. Sua obra "The Logic of Provability" é considerada um texto fundamental na área, explorando a interpretação do operador de necessidade como "é provável que". Boolos também é coautor de "Computability and Logic", um livro amplamente utilizado em cursos de lógica. Seus temas de pesquisa abrangeram a teoria da computabilidade, a lógica de segunda ordem e os quantificadores plurais, consolidando sua reputação como um dos lógicos mais influentes do século XX.