Thomas Tymoczko

De Wikipedia, la enciclopedia libre

A. Thomas Tymoczko (n. 1 de septiembre de 1943 – † 8 de agosto de 1996) fue un filósofo especializado en lógica y filosofía de las matemáticas.

Estudio con Hao Wang, Michael Dummett, Burton Dreben, Hilary Putnam y Phillipa Foot. Enseñó en el Smith College de Northampton, Massachusetts (Estados Unidos), desde 1971 hasta su muerte.

Se le puede considerar en filosofía de las matemáticas un miembro de la escuela falibilista o cuasi-empiricista, preocupado por la reinsercion de los algoritmos como un modo de prueba matemática usada por las computadoras. Esta postura se inspira en el trabajo de Imre Lakatos.

Falleció el 8 de agosto de 1996 a los 52 años, producto de un cáncer estomacal.[1][2]

Obra[editar]

Libros[editar]

Artículos[editar]

Además publicó numerosos artículos de filosofía, como The Four-Color Problem and its Philosophical Significance (1979) en el que argumenta que el incremento en el uso de las computadoras estaba cambiando la naturaleza de la prueba matemática.

Referencias[editar]

  1. «AcaMedia». www.smith.edu. Consultado el 21 de octubre de 2021. 
  2. Anellis, Irving H. (1997-01). «In memoriam: Thomas Tymoczko». Modern Logic 7 (1): 82-83. ISSN 1047-5982. Consultado el 21 de octubre de 2021. 
  3. «El cuasi-empirismo en la filosofía de las matemáticas, Eduardo Harada Olivares. Revista Elementos, Ciencia y Cultura, Nº. 59, Vol. 12, julio - septiembre, 2005, página 15». Archivado desde el original el 8 de octubre de 2007. Consultado el 11 de octubre de 2008.