William Craig (Logiker)

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 6. Oktober 2018 um 08:33 Uhr durch imported>Wurgl(565645) (Normdaten ergänzt, <ref> formatiert, siehe H:REF).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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

Weblinks

Einzelnachweise