Craig, Guillermo

El profesor William Craig, PhD ( 13 de noviembre de 1918  - 13 de enero de 2016 ) fue un filósofo, matemático y lógico de fama mundial estadounidense [1] . Alumno del filósofo y lógico estadounidense, profesor de Harvard, Willard Van Orman Quine . En 1957, demostró el teorema de interpolación de Craig , que lleva su nombre. Sus principales contribuciones a la lógica fueron en los campos de la teoría de la demostración , la teoría de modelos , la combinatoria y la lógica algebraica. Además de dos artículos importantes sobre el teorema de interpolación de Craig, publicados en 1957 en el Journal of Symbolic Logic [2] , el profesor Craig fue autor de muchos artículos sobre lógica matemática y dos libros:

• "Lógica en forma algebraica: tres lenguajes y teorías" (1974) [3]
• "Semigrupos de lógica de primer orden" (2006) [4] .

Biografía

Nacido en Nuremberg (Alemania) . Allí estudió en el gimnasio hasta 1937, luego de lo cual emigró a los Estados Unidos. En 1940 se graduó de la Universidad de Cornell con una licenciatura en filosofía y física. De 1940 a 1941 trabajó en la Universidad de California en Berkeley . Durante la Segunda Guerra Mundial en el Ejército de los Estados Unidos, de 1941 a 1945.

En los años siguientes, se dedica al trabajo científico en universidades de EE. UU. y Europa.

• 1946-1948 Universidad de Harvard
• 1948-1949 Instituto Federal Suizo de Tecnología
• 1949-1950 Universidad de Princeton

En 1951, recibió un doctorado en filosofía por una tesis bajo la supervisión de Willard Van Orman Quine. En el mismo año, W. Craig se convirtió en profesor asistente de matemáticas en la Universidad de Pensilvania . Luego recibió los cargos de profesor asistente de matemáticas (1952-1957) y profesor asistente (1957-1961).

En 1960-1961 regresó a la Universidad de California en Berkeley como profesor de filosofía.

En 1961 se convirtió en presidente de la Asociación de Lógica Simbólica.

De 1959 a 1961 fue presidente de la División del Pacífico de la Asociación Filosófica Estadounidense .

En 1989 se jubiló sin dejar la labor científica en el campo de la lógica.

Artículos

1. Craig W. Sobre la axiomatizabilidad dentro de un sistema // The journal of Symbolic logic. - 1953. - T. 18. - No. 01. - S. 30-32.
2. Craig W. Razonamiento lineal. Una nueva forma del teorema de Herbrand-Gentzen //The Journal of Symbolic Logic. - 1957. - T. 22. - No. 03. - S. 250-268.
3. Curry, HB, Feys, R., Craig, W. y Craig, W. (1958). Lógica combinatoria, vol. 1 . Publicación de Holanda Septentr..
4. Curry HB, Feys R., Craig W. Lógica combinatoria, volumen I. - 1959.
5. Curry, HB, Feys, R., Craig, W., Hindley, JR y Seldin, JP (1972). lógica combinatoria
6. Craig W. Lógica en forma algebraica. Tres lenguajes y teorías. — 1974.

Enlaces

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

Notas

1. ^ UC Berkeley - Departamento de Filosofía . filosofía.berkeley.edu. Fecha de acceso: 1 de febrero de 2016. Archivado desde el original el 15 de enero de 2016. (indefinido)
2. ↑ Journal of Symbolic Logic (enlace descendente) . www.aslonline.org. Consultado el 1 de febrero de 2016. Archivado desde el original el 12 de enero de 2011. (indefinido) 
3. ↑ Guillermo Craig. Lógica en forma algebraica: tres lenguajes y teorías . - Compañía editorial de Holanda Septentrional, 1974-01-01. — 220 s. — ISBN 9780444104779 .
4. ↑ Guillermo Craig. Semigrupos subyacentes a la lógica de primer orden . — Sociedad Matemática Estadounidense. , 2006-01-01. — 298 pág. — ISBN 9780821841495 .

sitios temáticos	genealogía matemática zbMATH Abierto
En catálogos bibliográficos BIBSYS: 6094077 BNF : 12859882d CONOR : 108629603 TIERRA : 1013427416 ISNI : 0000 0001 2117 389X J9U : 987007429020405171 LCCN : n2006054437 NKC : mub2013747490 NTA : 068234090 NUKAT : n01197038 SUDOC : 060310421 VIAF : 139086 WorldCat VIAF : 139086