A. Thomas Tymoczko 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, 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.
rdfs:comment |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [36 values] |
Is dbpedia-owl:wikiPageWikiLink of |