Reflexiones filosoficas sobre la demostracion matematica a la sombra de Thomas Tymoczko proyectadas desde algunas demostraciones computarizadas - Torres Villa, Mauricio (México, 2006)