| dbo:abstract
|
- William Craig (* 13. November 1918 in Nürnberg; † 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 über Axiomatisierung rekursiv aufzählbarer Theorien. (de)
- William Craig (November 13, 1918 – January 13, 2016) was an American academic and philosopher, who taught at the University of California, Berkeley, in Berkeley, California. His research interests included mathematical logic, and the philosophy of science, and he is best known for the Craig interpolation theorem. (en)
- Профессор Уильям Крейг, PhD (13 ноября 1918 — 13 января 2016) — американский философ, математик, всемирно известный логик. Ученик американского философа и логика, профессора Гарварда, Уилларда Ван Ормана Куайна. В 1957 году доказал , названную в его честь. Его основной вклад в логику был в областях теории доказательств, теории моделей, комбинаторики и алгебраической логики. Кроме двух основных статей по интерполяционной теореме Крейга, опубликованных в 1957 году в Журнале символической логики, профессор Крейг был автором многих статей по математической логике и двух книг:
* «Логика в алгебраической форме: три языка и теории» (1974)
* «Полугруппы логики первого порядка» (2006). (ru)
|
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:deathYear
| |
| dbo:occupation
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3937 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:alt
|
- William Craig, UC Berkeley Logic Group picnic 1977. (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- William Craig, UC Berkeley Logic Group picnic 1977. (en)
|
| dbp:deathDate
| |
| dbp:deathPlace
| |
| dbp:name
| |
| dbp:occupation
|
- Philosopher, academic (en)
|
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- William Craig (* 13. November 1918 in Nürnberg; † 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 über Axiomatisierung rekursiv aufzählbarer Theorien. (de)
- William Craig (November 13, 1918 – January 13, 2016) was an American academic and philosopher, who taught at the University of California, Berkeley, in Berkeley, California. His research interests included mathematical logic, and the philosophy of science, and he is best known for the Craig interpolation theorem. (en)
- Профессор Уильям Крейг, PhD (13 ноября 1918 — 13 января 2016) — американский философ, математик, всемирно известный логик. Ученик американского философа и логика, профессора Гарварда, Уилларда Ван Ормана Куайна. В 1957 году доказал , названную в его честь. Его основной вклад в логику был в областях теории доказательств, теории моделей, комбинаторики и алгебраической логики. Кроме двух основных статей по интерполяционной теореме Крейга, опубликованных в 1957 году в Журнале символической логики, профессор Крейг был автором многих статей по математической логике и двух книг: (ru)
|
| rdfs:label
|
- William Craig (Logiker) (de)
- William Craig (philosopher) (en)
- Крейг, Уильям (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
