George Boolos was an American philosopher and logician, particularly noted for his work in mathematical logic and the philosophy of mathematics. He was born on March 4, 1940, and passed away on January 27, 1998. Boolos is well-regarded for his contributions to the understanding of formal systems, the nature of mathematical truth, and the philosophical implications of Gödel's incompleteness theorems.
New to topics? Read the docs here!