El objetivo de las matemticas es descubrir y comunicar ciertas verdades.
Las matemticas son el
lenguaje de los matemticos, y una demostracin es un mtodo para comunicar una verdad matemtica. Una cualidad del lenguaje de las matemticas es su precisin. Una demostracin bien realizada no deber de contener ambigedades y no habr duda de que es correcta.
El mtodo progresivo-regresivo El mtodo progresivo-regresivo consiste en trabajar con la hiptesis y la tesis de forma simultnea obteniendo afirmaciones equivalentes a ambas y de alguna forma llegar a vincularlas lgicamente. Si trabajamos con la hiptesis y vamos obteniendo afirmaciones equivalentes estamos procediendo segn el mtodo progresivo, por otro lado, si trabajamos con la tesis y vamos obteniendo afirmaciones equivalentes estamos procediendo segn el mtodo regresivo. En lenguaje coloquial, la idea es ir descomponiendo la hiptesis y la tesis hasta llegar a una verdad evidente que vincule a ambas, en otras palabras, la idea es ir dando saltos desde la hiptesis hacia la tesis (mtodo progresivo) y desde la tesis hacia la hiptesis (mtodo regresivo).