Diferencia entre revisiones de «Reductio ad absurdum»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 186.48.130.35 a la última edición de Latiniensis |
||
Línea 41:
En esta representación, ''P'' es la proposición a demostrar, y ''S'' es una serie de proposiciones previas que tomamos como ciertas (por ejemplo, los [[axioma]]s de la teoría en la que trabajamos o los teoremas anteriores que ya han sido demostrados). Consideramos la negación de ''P'' en conjunto con ''S''. Si esto lleva a una contradicción ''F'', entonces podemos concluir que ''S'' nos conduce necesariamente a ''P''.
En palabras de [[G. H. Hardy]], "La Reducción al absurdo, que Euclides tanto amaba, es una de las mejores armas de la matemática. Es mucho mejor gambito que cualquiera de los del ajedrez: un jugador de ajedrez puede ofrecer el sacrificio de un peón u otra pieza, pero un matemático ofrece la partida".
==Véase también==
| |||