Thomas Tymoczko

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

A. Thomas Tymoczko (n. 1943 – † 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.

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]