Крейг, Уильям

|Дата смерти = 13.01.2016 |Гражданство =
|Место смерти = , Калифорния |Научная сфера = логика, математика. философия |Место работы = Калифорнийский университет в Беркли Принстонский университет Университет штата Пенсильвания |Учёная степень = PhD |Учёное звание = |Альма-матер = Корнеллский университет |Научный руководитель = |Знаменитые ученики = Gonzalo E. Reyes |Известен как = |Награды и премии = |Роспись = |Ширина росписи = |Сайт = |Викитека = }} Профессор Уильям Крейг, PhD (13 ноября 1918 — 13 января 2016) — американский философ, математик, всемирно известный логик. Ученик американского философа и логика, профессора Гарварда, Уилларда Ван Ормана Куайна. В 1957 году доказал , названную в его честь. Его основной вклад в логику был в областях теории доказательств, теории моделей, комбинаторики и алгебраической логики. Кроме двух основных статей по интерполяционной теореме Крейга, опубликованных в 1957 году в Журнале символической логики, профессор Крейг был автором многих статей по математической логике и двух книг: * «Логика в алгебраической форме: три языка и теории» (1974) * «Полугруппы логики первого порядка» (2006). Предоставлено Wikipedia