William Craig (logician)

from Wikipedia, the free encyclopedia
William Craig at a Berkeley Logic Group picnic in 1977

William Craig (born November 13, 1918 in Nuremberg ; † January 13, 2016 ) was a philosophy professor at the University of California, Berkeley , in Berkeley , California . In 1951 he received his doctorate from Harvard University with the topic A Theorem about First Order Functional Calculus with Identity, and Two Applications .

His main area of ​​work included mathematical logic and philosophy of science . He was known for his Craig interpolation -Theorem, not to be confused with the published also by him in the 50's Craig theorem about Axiomatization recursively enumerable theories .

See also

Web links

Individual evidence

  1. ^ Dictionary of Modern American Philosophers, Volume 1
  2. ↑ William Craig
  3. ↑ Craig's Theorem in The Journal of PHILOSOPHY, VOLUME LXII, No. 10 May 13, 1965
personal data
SURNAME Craig, William
BRIEF DESCRIPTION American philosopher and logician
DATE OF BIRTH November 13, 1918
PLACE OF BIRTH Nuremberg
DATE OF DEATH January 13, 2016