A. Thomas Tymoczko (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 . Enseñó en el Smith College de Northampton , Massachusetts, desde 1971 hasta su muerte por cáncer de estómago en 1996, a los 52 años . [1] [2]
Entre sus publicaciones se incluyen New Directions in the Philosophy of Mathematics , una colección editada de ensayos para los que escribió introducciones individuales, y Sweet Reason: A Field Guide to Modern Logic , coescrito con Jim Henle. Además, publicó varios artículos filosóficos, como " The Four-Color Problem and its Philosophical Significance", en el que sostiene que el uso creciente de las computadoras está cambiando la naturaleza de la prueba matemática.
Se le considera miembro de la escuela falibilista en filosofía de las matemáticas . Philip Kitcher denominó a esta escuela la tradición "disidente" en la filosofía de las matemáticas. ( Paul Ernest ) [ cita requerida ]
Obtuvo su licenciatura en la Universidad de Harvard en 1965 y su doctorado en la misma universidad en 1972. [1]
Tymoczko se casó con la académica de literatura comparada Maria Tymoczko de la Universidad de Massachusetts Amherst . Sus tres hijos incluyen al compositor musical Dmitri Tymoczko y a la profesora de matemáticas del Smith College Julianna Tymoczko . [3] [4]