stringtranslate.com

Frederic Fitch

Frederic Brenton Fitch (9 de septiembre de 1908 - 18 de septiembre de 1987) fue un lógico estadounidense , profesor Sterling en la Universidad de Yale . [1]

Educación y carrera

En Yale, Fitch obtuvo su licenciatura en 1931 y su doctorado. de Yale en 1934 bajo la supervisión del FSC Northrop . [2] De 1934 a 1937, Fitch realizó un postdoctorado en la Universidad de Virginia . En 1937 regresó a Yale, donde enseñó hasta su jubilación en 1977. [3]

Entre sus estudiantes de doctorado se encuentran Alan Ross Anderson , Ruth Barcan Marcus y William W. Tait .

Trabajar

Fitch fue el inventor del cálculo estilo Fitch para organizar pruebas lógicas formales como diagramas. [4] En su artículo publicado en 1963 "Un análisis lógico de algunos conceptos de valor", demuestra el "Teorema 5" (originalmente de Alonzo Church ), que más tarde se hizo famoso en el contexto de la paradoja de la cognoscibilidad . [5]

Fitch trabajó principalmente en lógica combinatoria y fue autor de un libro de texto de pregrado sobre el tema (1974), pero también hizo importantes contribuciones al intuicionismo y la lógica modal. Estaba interesado en el problema de la coherencia, integridad, categoricidad y constructividad de las teorías lógicas, especialmente la lógica no clásica, y contribuyó a los fundamentos de las matemáticas y a la probabilidad inductiva. Abordó la teoría de las referencias en "El problema del lucero de la mañana y el lucero de la tarde" (1949). [3]

También contribuyó a la filosofía de cómo la lógica se relaciona con el lenguaje. [3]

Obras

Ver también

Referencias

  1. ^ "Frederic B. Fitch", Obituarios, The New York Times , 19 de septiembre de 1987.
  2. ^ Frederic Fitch en el Proyecto de genealogía de matemáticas
  3. ^ abc Anellis, Irving H. (1 de enero de 2005). "Fitch, Frederic Brenton". En Shook, John R. (ed.). Diccionario de filósofos americanos modernos . A&C Negro. págs. 799–802. ISBN 978-1-84371-037-0.
  4. ^ Bimbó, Katalin (2014), Teoría de la prueba: cálculos secuenciales y formalismos relacionados, matemáticas discretas y sus aplicaciones, CRC Press, p. 272, ISBN 9781466564688.
  5. ^ La paradoja de la cognoscibilidad de Fitch en la Enciclopedia de Filosofía de Stanford .
  6. ^ Turqueta, Atwell R. (1953). "Revisión de la lógica simbólica: una introducción de Frederich Brenton Fitch". La revisión filosófica . 62 (4): 617–619. doi :10.2307/2182470. ISSN  0031-8108. JSTOR  2182470.
  7. ^ Lercher, Bruce (2014). "Repaso de Elementos de Lógica Combinatoria ". Revista de Lógica Simbólica . 41 (4): 789–790. doi :10.2307/2272401. ISSN  0022-4812. JSTOR  2272401. S2CID  60486915.

enlaces externos