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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Уильям Крейг
William Craig
William Craig
William Craig
Дата рождения 13 ноября 1918(1918-11-13)
Место рождения Нюрнберг
Дата смерти 13 января 2016(2016-01-13) (97 лет)
Место смерти Беркли, Калифорния
Страна  США
 Германия
Род деятельности математик, философ, логик
Научная сфера логика, математика. философия
Место работы Гарвардский университет Калифорнийский университет в Беркли Принстонский университет Университет штата Пенсильвания
Альма-матер Корнеллский университет Гарвардский университет
Учёная степень PhD
Научный руководитель Уиллард Ван Орман Куайн
Ученики Gonzalo E. Reyes
Логотип Викисклада Медиафайлы на Викискладе

Профессор Уильям Крейг, PhD (13 ноября 1918 — 13 января 2016) — американский философ, математик, всемирно известный логик[1]. Ученик американского философа и логика, профессора Гарварда, Уилларда Ван Ормана Куайна. В 1957 году доказал теорему интерполяции Крейга[англ.], названную в его честь. Его основной вклад в логику был в областях теории доказательств, теории моделей, комбинаторики и алгебраической логики. Кроме двух основных статей по интерполяционной теореме Крейга, опубликованных в 1957 году в Журнале символической логики[2], профессор Крейг был автором многих статей по математической логике и двух книг:

  • «Логика в алгебраической форме: три языка и теории» (1974)[3]
  • «Полугруппы логики первого порядка» (2006)[4].

Родился в Нюрнберге (Германия). Там он обучался в гимназии до 1937 года, после чего эмигрировал в Соединенные Штаты. В 1940 году оканчивает Корнеллский университет, получив степень бакалавра области философии и физики. В 1940—1941 годах работал в Калифорнийском университете в Беркли. Во время Второй мировой войны в армии США, с 1941 по 1945 годы.

В последующие годы занимается научной работой в университетах США и Европы.

В 1951 году получает степень доктора философии в философии за диссертацией под руководством Уилларда Ван Орман Куайна. В том же году У.Крейг становится ассистентом преподавателя математики в Университете штата Пенсильвания. Затем получает должности помощника профессора математики (1952—1957) и доцента (1957—1961).

В 1960—1961 годах он возвращается в Калифорнийский университет в Беркли в качестве профессора философии.

В 1961 году становится президентом Ассоциации символической логики.

В 1959—1961 годах — президент Тихоокеанского отдела Американской философской ассоциации.

В 1989 году выходит на пенсию, не оставляя научной работы в области логики.

  1. Craig W. On axiomatizability within a system //The journal of Symbolic logic. — 1953. — Т. 18. — №. 01. — С. 30-32.
  2. Craig W. Linear reasoning. A new form of the Herbrand-Gentzen theorem //The Journal of Symbolic Logic. — 1957. — Т. 22. — №. 03. — С. 250—268.
  3. Curry, H. B., Feys, R., Craig, W., & Craig, W. (1958). Combinatory logic, vol. 1. North-Holland Publ..
  4. Curry H. B., Feys R., Craig W. Combinatory logic, volume I. — 1959.
  5. Curry, H. B., Feys, R., Craig, W., Hindley, J. R., & Seldin, J. P. (1972). Combinatory logic
  6. Craig W. Logic in Algebraic Form. Three Languages and Theories. — 1974.
  1. https://web.archive.org/web/20160120142426/http://sophos.berkeley.edu/interpolations/
  2. http://reyes-reyes.com/gonzalo-e-reyes/

Примечания

[править | править код]
  1. UC Berkeley - Department of Philosophy. philosophy.berkeley.edu. Дата обращения: 1 февраля 2016. Архивировано 15 января 2016 года.
  2. Journal of Symbolic Logic. www.aslonline.org. Дата обращения: 1 февраля 2016. Архивировано из оригинала 12 января 2011 года.
  3. William Craig. Logic in Algebraic Form: Three Languages and Theories. — North-Holland Publishing Company, 1974-01-01. — 220 с. — ISBN 9780444104779.
  4. William Craig. Semigroups Underlying First-Order Logic. — American Mathematical Soc., 2006-01-01. — 298 с. — ISBN 9780821841495.