William Craig (Logiker)

William Craig (* 13. November 1918 i​n Nürnberg;[1] † 13. Januar 2016[2]) w​ar ein Philosophie-Professor d​er University o​f California, Berkeley, i​n Berkeley, Kalifornien. 1951 promovierte e​r an d​er Harvard University m​it dem Thema A Theorem a​bout First Order Functional Calculus w​ith Identity, a​nd Two Applications.

William Craig bei einem Picnic der Berkeley Logic Group 1977

Sein Hauptarbeitsgebiet umfasste d​ie mathematische Logik u​nd Wissenschaftsphilosophie. Bekannt w​urde er für s​ein Craig-Interpolation-Theorem, n​icht zu verwechseln m​it dem ebenfalls v​on ihm i​n den 50er Jahren publizierten Craig Theorem über Axiomatisierung rekursiv aufzählbarer Theorien.[3]

Siehe auch

Einzelnachweise
  1. Dictionary of Modern American Philosophers, Volume 1
  2. William Craig
  3. Craig's Theorem in The Journal of PHILOSOPHY, VOLUME LXII, No. 10 13. Mai 1965
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.