Craig, William
| William Craig | |
|---|---|
| William Craig | |
| William Craig | |
| Födelsedatum | 13 november 1918 |
| Födelseort | Nürnberg |
| Dödsdatum | 13 januari 2016 (97 år) |
| En plats för döden | Berkeley , Kalifornien |
| Land |
USA Tyskland |
| Vetenskaplig sfär | logik , matematik . filosofi |
| Arbetsplats | Harvard University UC Berkeley Princeton University Pennsylvania State University |
| Alma mater | Cornell University Harvard University |
| Akademisk examen | PhD |
| vetenskaplig rådgivare | Willard Van Orman Quine |
| Studenter | Gonzalo E. Reyes |
| Mediafiler på Wikimedia Commons | |
Professor William Craig, PhD ( 13 november 1918 - 13 januari 2016 ) var en amerikansk filosof, matematiker och världsberömd logiker [1] . En elev till den amerikanske filosofen och logikern, Harvard-professorn, Willard Van Orman Quine . 1957 bevisade han Craigs interpolationssats , uppkallad efter honom. Hans huvudsakliga bidrag till logik var inom områdena bevisteori , modellteori , kombinatorik och algebraisk logik. Förutom två stora artiklar om Craigs interpolationsteorem, publicerade 1957 i Journal of Symbolic Logic [2] , var professor Craig författare till många artiklar om matematisk logik och två böcker:
- "Logik i algebraisk form: tre språk och teorier" (1974) [3]
- "Semigroups of First-Orders Logic" (2006) [4] .
Biografi
Född i Nürnberg (Tyskland) . Där studerade han på gymnasiet fram till 1937, varefter han emigrerade till USA. 1940 tog han examen från Cornell University med en kandidatexamen i filosofi och fysik. Från 1940-1941 arbetade han vid University of California i Berkeley . Under andra världskriget i den amerikanska armén, från 1941 till 1945.
Under de följande åren är han engagerad i vetenskapligt arbete vid universitet i USA och Europa.
- 1946-1948 Harvard University
- 1948-1949 Schweiziska federala tekniska institutet
- 1949-1950 Princeton University
1951 fick han en doktorsexamen i filosofi för en avhandling under ledning av Willard Van Orman Quine. Samma år blev W. Craig biträdande lärare i matematik vid University of Pennsylvania . Därefter fick han befattningarna som biträdande professor i matematik (1952-1957) och biträdande professor (1957-1961).
1960-1961 återvände han till University of California i Berkeley som professor i filosofi.
1961 blev han ordförande för Symbolic Logic Association.
Från 1959-1961 var han president för Pacific Division av American Philosophical Association .
1989 gick han i pension utan att lämna vetenskapligt arbete inom logikområdet.
Artiklar
- Craig W. Om axiomatiserbarhet inom ett system //The journal of Symbolic logic. - 1953. - T. 18. - Nej. 01. - S. 30-32.
- Craig W. Linjärt resonemang. En ny form av Herbrand-Gentzen-satsen //The Journal of Symbolic Logic. - 1957. - T. 22. - Nej. 03. - S. 250-268.
- Curry, HB, Feys, R., Craig, W., & Craig, W. (1958). Combinatory logic, vol. 1 . North Holland Publ..
- Curry HB, Feys R., Craig W. Combinatory logic, volym I. - 1959.
- Curry, HB, Feys, R., Craig, W., Hindley, JR, & Seldin, JP (1972). Kombinationslogik
- Craig W. Logik i algebraisk form. Tre språk och teorier. — 1974.
Länkar
- https://web.archive.org/web/20160120142426/http://sophos.berkeley.edu/interpolations/
- http://reyes-reyes.com/gonzalo-e-reyes/
Anteckningar
- ↑ UC Berkeley - Institutionen för filosofi . philosophy.berkeley.edu. Tillträdesdatum: 1 februari 2016. Arkiverad från originalet 15 januari 2016.
- ↑ Journal of Symbolic Logic (nedlänk) . www.aslonline.org. Hämtad 1 februari 2016. Arkiverad från originalet 12 januari 2011.
- ↑ William Craig. Logik i algebraisk form: tre språk och teorier . - North-Holland Publishing Company, 1974-01-01. — 220 s. — ISBN 9780444104779 .
- ↑ William Craig. Semigrupper som ligger bakom första ordningens logik . — American Mathematical Soc. , 2006-01-01. — 298 sid. — ISBN 9780821841495 .
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||