William Craig (Logiker)

William Craig bei einem Picnic der Berkeley Logic Group 1977

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

• Prädikatenlogik
• Beweistheorie
• Mathematische Logik

Weblinks

• Offizielle Seite der Berkeley Universität
• Eine Konferenz zu Ehren William Craig
• Veröffentlichungsliste

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