Craig, William

William Craig
William Craig

William Craig
Fødselsdato 13. november 1918( 1918-11-13 )
Fødselssted Nürnberg
Dødsdato 13. januar 2016 (97 år)( 2016-01-13 )
Et dødssted Berkeley , Californien
Land  USA Tyskland
 
Videnskabelig sfære logik , matematik . filosofi
Arbejdsplads Harvard University UC Berkeley Princeton University Pennsylvania State University
Alma Mater Cornell University Harvard University
Akademisk grad PhD
videnskabelig rådgiver Willard Van Orman Quine
Studerende Gonzalo E. Reyes
 Mediefiler på Wikimedia Commons

Professor William Craig, PhD ( 13. november 1918  – 13. januar 2016 ) var en amerikansk filosof, matematiker og verdensberømt logiker [1] . En studerende af den amerikanske filosof og logiker, Harvard-professor, Willard Van Orman Quine . I 1957 beviste han Craigs interpolationssætning , opkaldt efter ham. Hans vigtigste bidrag til logik var inden for bevisteori , modelteori , kombinatorik og algebraisk logik. Ud over to store artikler om Craigs interpolationsteorem, offentliggjort i 1957 i Journal of Symbolic Logic [2] , var professor Craig forfatter til mange artikler om matematisk logik og to bøger:

Biografi

Født i Nürnberg (Tyskland) . Der studerede han på gymnasiet indtil 1937, hvorefter han emigrerede til USA. I 1940 dimitterede han fra Cornell University med en bachelorgrad i filosofi og fysik. Fra 1940-1941 arbejdede han ved University of California i Berkeley . Under Anden Verdenskrig i den amerikanske hær, fra 1941 til 1945.

I de efterfølgende år er han engageret i videnskabeligt arbejde på universiteter i USA og Europa.

I 1951 modtog han en Ph.D.-grad i filosofi for en afhandling under vejledning af Willard Van Orman Quine. Samme år blev W. Craig assisterende lærer i matematik ved University of Pennsylvania . Derefter fik han stillingerne som adjunkt i matematik (1952-1957) og adjunkt (1957-1961).

I 1960-1961 vendte han tilbage til University of California i Berkeley som professor i filosofi.

I 1961 blev han præsident for Symbolic Logic Association.

Fra 1959-1961 var han præsident for Pacific Division i American Philosophical Association .

I 1989 trak han sig tilbage uden at forlade videnskabeligt arbejde inden for logikken.

Artikler

  1. Craig W. Om aksiomatiserbarhed inden for et system //The journal of Symbolic logic. - 1953. - T. 18. - Nej. 01. - S. 30-32.
  2. Craig W. Lineær ræsonnement. En ny form for Herbrand-Gentzen-sætningen //The Journal of Symbolic Logic. - 1957. - T. 22. - Nej. 03. - S. 250-268.
  3. Curry, HB, Feys, R., Craig, W., & Craig, W. (1958). Kombinationslogik, vol. 1 . North Holland Publ..
  4. Curry HB, Feys R., Craig W. Combinatory logic, bind I. - 1959.
  5. Curry, HB, Feys, R., Craig, W., Hindley, JR, & Seldin, JP (1972). Kombinatorisk logik
  6. Craig W. Logik i algebraisk form. Tre sprog og teorier. - 1974.

Links

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

Noter

  1. ↑ UC Berkeley - Institut for Filosofi . philosophy.berkeley.edu. Dato for adgang: 1. februar 2016. Arkiveret fra originalen 15. januar 2016.
  2. ↑ Journal of Symbolic Logic (downlink) . www.aslonline.org. Hentet 1. februar 2016. Arkiveret fra originalen 12. januar 2011. 
  3. ↑ William Craig. Logik i algebraisk form: tre sprog og teorier . - Nordhollandsk Forlag, 1974-01-01. - 220 sek. — ISBN 9780444104779 .
  4. ↑ William Craig. Semigrupper, der ligger til grund for første-ordens logik . — American Mathematical Soc. , 2006-01-01. — 298 s. — ISBN 9780821841495 .
  Gå til Wikidata-elementet  Tematiske steder