Solomon Feferman, American philosopher and mathematician (born 1928)

Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.

July 26 is the 207th day of the year in the Gregorian calendar; 158 days remain until the end of the year.