mini|William Craig bei einem Picnic der Berkeley Logic Group 1977 William Craig (* 13. November 1918 in Nürnberg;Dictionary of Modern American Philosophers, Volume 1 † 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.Craig's Theorem in The Journal of PHILOSOPHY, VOLUME LXII, No. 10 13. Mai 1965
Siehe auch Prädikatenlogik Beweistheorie Mathematische Logik
Weblinks Offizielle Seite der Berkeley-Universität Eine Konferenz zu Ehren William Craig Veröffentlichungsliste
Einzelnachweise
Kategorie:Philosoph (20. Jahrhundert) Kategorie:Mathematischer Logiker (20. Jahrhundert) Kategorie:Logiker Kategorie:Absolvent der Harvard University Kategorie:Hochschullehrer (University of California, Berkeley) Kategorie:US-Amerikaner Kategorie:Geboren 1918 Kategorie:Gestorben 2016 Kategorie:Mann