Jesteśmy społecznością, która kocha książki

Amerykański matematyk, logik i filozof, profesor City University of New York.
W 1943 podjął studia na Uniwersytecie Wisconsin, po roku przerwał jednak naukę tam i przeniósł się do Chicago. Wkrótce potem wyjechał do Nowego Jorku, gdzie spędził kolejne dwa lata. W tym okresie utrzymywał się m.in. z pokazów sztuczek magicznych w nocnych klubach. W 1949 wrócił do Chicago, gdzie brał różne kursy uniwersyteckie jednocześnie pracując jako sztukmistrz. Dopiero w 1955 uzyskał tytuł B.S. z Uniwersytetu w Chicago. W 1959 doktoryzował się na Uniwersytecie w Princeton (pod kierunkiem Alonzo Churcha) Od 1958 do 1961 pracował na Uniwersytecie w Princeton, a od 1961 do 1968 na Jewish Yeshiva University w Nowym Jorku. Od 1968 do przejścia na emeryturę w 1982 wykładał na City University of New York (CUNY).