Craig, William

Professori William Craig, PhD ( 13. marraskuuta 1918  - 13. tammikuuta 2016 ) oli amerikkalainen filosofi, matemaatikko ja maailmankuulu loogikko [1] . Amerikkalaisen filosofin ja loogikon, Harvardin professorin Willard Van Orman Quinen opiskelija . Vuonna 1957 hän todisti Craigin interpolaatiolauseen , joka on nimetty hänen mukaansa. Hänen tärkeimmät panoksensa logiikkaan olivat todisteteorian , malliteorian , kombinatoriikan ja algebrallisen logiikan aloilla. Kahden suuren Craigin interpolaatiolausetta käsittelevän artikkelin lisäksi, jotka julkaistiin vuonna 1957 Journal of Symbolic Logic -lehdessä [2] , professori Craig on kirjoittanut monia matemaattista logiikkaa käsitteleviä artikkeleita ja kaksi kirjaa:

• "Logiikka algebrallisessa muodossa: kolme kieltä ja teoriaa" (1974) [3]
• "Semigroups of First-Order Logic" (2006) [4] .

Elämäkerta

Syntynyt Nürnbergissä (Saksa) . Siellä hän opiskeli lukiossa vuoteen 1937, jonka jälkeen hän muutti Yhdysvaltoihin. Vuonna 1940 hän valmistui Cornellin yliopistosta kandidaatin tutkinnolla filosofiassa ja fysiikassa. Vuosina 1940-1941 hän työskenteli Kalifornian yliopistossa Berkeleyssä . Toisen maailmansodan aikana Yhdysvaltain armeijassa, 1941-1945.

Seuraavina vuosina hän on mukana tieteellisessä työssä Yhdysvaltojen ja Euroopan yliopistoissa.

• 1946-1948 Harvardin yliopisto
• 1948-1949 Sveitsin liittovaltion teknologiainstituutti
• 1949-1950 Princetonin yliopisto

Vuonna 1951 hän sai filosofian tohtorin tutkinnon Willard Van Orman Quinen valvonnassa. Samana vuonna W. Craigista tuli matematiikan apulaisopettaja Pennsylvanian yliopistossa . Sitten hän sai matematiikan apulaisprofessorin (1952-1957) ja apulaisprofessorin (1957-1961) virat.

Vuosina 1960-1961 hän palasi Kalifornian yliopistoon Berkeleyssä filosofian professorina.

Vuonna 1961 hänestä tuli Symbolic Logic Associationin puheenjohtaja.

Vuosina 1959-1961 hän oli American Philosophical Associationin Tyynenmeren jaoston puheenjohtaja .

Vuonna 1989 hän jäi eläkkeelle jättämättä tieteellistä työtä logiikan alalla.

Artikkelit

1. Craig W. Aksiomatisoitavuudesta järjestelmän sisällä //The Journal of Symbolic Logic. - 1953. - T. 18. - Ei. 01. - S. 30-32.
2. Craig W. Lineaarinen päättely. Herbrand-Gentzenin lauseen uusi muoto //The Journal of Symbolic Logic. - 1957. - T. 22. - Ei. 03. - S. 250-268.
3. Curry, HB, Feys, R., Craig, W. ja Craig, W. (1958). Kombinatorinen logiikka, voi. 1 . North Holland Publ..
4. Curry HB, Feys R., Craig W. Kombinatorinen logiikka, osa I. - 1959.
5. Curry, HB, Feys, R., Craig, W., Hindley, JR ja Seldin, JP (1972). Kombinoiva logiikka
6. Craig W. Logiikka algebrallisessa muodossa. Kolme kieltä ja teoriaa. – 1974.

Linkit

1. https://web.archive.org/web/20160120142426/http://sophos.berkeley.edu/interpolations/
2. http://reyes-reyes.com/gonzalo-e-reyes/

Muistiinpanot

1. ↑ UC Berkeley - Filosofian laitos . philosophy.berkeley.edu. Käyttöpäivä: 1. helmikuuta 2016. Arkistoitu alkuperäisestä 15. tammikuuta 2016. (määrätön)
2. ↑ Journal of Symbolic Logic (downlink) . www.aslonline.org. Haettu 1. helmikuuta 2016. Arkistoitu alkuperäisestä 12. tammikuuta 2011. (määrätön) 
3. ↑ William Craig. Logiikka algebrallisessa muodossa: kolme kieltä ja teoriaa . - North-Holland Publishing Company, 1.1.1974. – 220 s. — ISBN 9780444104779 .
4. ↑ William Craig. Ensimmäisen asteen logiikan taustalla olevat puoliryhmät . — American Mathematical Soc. , 2006-01-01. — 298 s. — ISBN 9780821841495 .

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna
Bibliografisissa luetteloissa BIBSYS : 6094077 BNF : 12859882d CONOR : 108629603 GND : 1013427416 ISNI : 0000 0001 2117 389X J9U : 987007429020405171 LCCN : n2006054437 NKC : mub2013747490 NTA : 068234090 NUKAT : n01197038 SUDOC : 060310421 VIAF : 139086 WorldCat VIAF : 139086