Профессор Уильям Крейг, PhD (13 ноября 1918 — 13 января 2016) — американский философ, математик, всемирно известный логик[1]. Ученик американского философа и логика, профессора Гарварда, Уилларда Ван Ормана Куайна. В 1957 году доказал теорему интерполяции Крейга, названную в его честь. Его основной вклад в логику был в областях теории доказательств, теории моделей, комбинаторики и алгебраической логики. Кроме двух основных статей по интерполяционной теореме Крейга, опубликованных в 1957 году в Журнале символической логики[2], профессор Крейг был автором многих статей по математической логике и двух книг:
Родился в Нюрнберге (Германия). Там он обучался в гимназии до 1937 года, после чего эмигрировал в Соединенные Штаты. В 1940 году оканчивает Корнеллский университет, получив степень бакалавра области философии и физики. В 1940—1941 годах работал в Калифорнийском университете в Беркли. Во время Второй мировой войны в армии США, с 1941 по 1945 годы.
В 1951 году получает степень доктора философии в философии за диссертацией под руководством Уилларда Ван Орман Куайна. В том же году У.Крейг становится ассистентом преподавателя математики в Университете штата Пенсильвания. Затем получает должности помощника профессора математики (1952—1957) и доцента (1957—1961).
В 1960—1961 годах он возвращается в Калифорнийский университет в Беркли в качестве профессора философии.