William Craig (Logiker)
aus Wikipedia, der freien Enzyklopädie
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
Weblinks
- Offizielle Seite der Berkeley Universität
- Eine Konferenz zu Ehren William Craig
- Veröffentlichungsliste
Einzelnachweise
| Personendaten | |
|---|---|
| NAME | Craig, William |
| KURZBESCHREIBUNG | amerikanischer Philosoph und Logiker |
| GEBURTSDATUM | 13. November 1918 |
| GEBURTSORT | Nürnberg |
| STERBEDATUM | 13. Januar 2016 |
