Thomas Tymoczko

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. proporcionado por Wikipedia