William Craig (* 13. November 1918 in Nürnberg; † 13. Januar 2016) war ein Philosophie-Professor der University of California, Berkeley, in Berkeley, Kalifornien. 1951 promovierte er an der Harvard University mit dem Thema A Theorem about First Order Functional Calculus with Identity, and Two Applications.
Sein Hauptarbeitsgebiet umfasste die mathematische Logik und Wissenschaftsphilosophie. Bekannt wurde er für sein Craig-Interpolation-Theorem, nicht zu verwechseln mit dem ebenfalls von ihm in den 50er Jahren publizierten Craig Theorem über Axiomatisierung rekursiv aufzählbarer Theorien.
Siehe auch Bearbeiten
Weblinks Bearbeiten
Einzelnachweise Bearbeiten
- Dictionary of Modern American Philosophers, Volume 1
- (Memento des vom 15. Januar 2016 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
- Craig's Theorem in The Journal of PHILOSOPHY, VOLUME LXII, No. 10 13. Mai 1965
Personendaten | |
---|---|
NAME | Craig, William |
KURZBESCHREIBUNG | amerikanischer Philosoph und Logiker |
GEBURTSDATUM | 13. November 1918 |
GEBURTSORT | Nürnberg |
STERBEDATUM | 13. Januar 2016 |