William Craig (Logiker)
amerikanischer Philosoph und Logiker
William Craig (* 13. November 1918 in Nürnberg;[1] † 13. Januar 2016[2]) 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.[3]
Siehe auch Bearbeiten
Weblinks Bearbeiten
Einzelnachweise Bearbeiten
- ↑ Dictionary of Modern American Philosophers, Volume 1
- ↑ William Craig ( vom 15. Januar 2016 im Internet Archive)
- ↑ 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 |