Prueba (ciencia)

Prueba (ciencia)

En ciencias, una prueba es un hecho conjeturado por alguna teoría cuya presencia o ausencia solo es compatible con determinada(s) teoría(s) científica(s). Así las pruebas permiten discriminar qué teorías científicas pueden dar cuenta adecuadamente de cierto conjunto de hechos y cuáles no. La evidencia científica es un conocimiento objetivo, verificable y reproducible.

Además, una prueba también tiene connotaciones de experimento en el significado científico, ya que en este campo, habitualmente se cambian los parámetros de las pruebas o ensayos que se están experimentando para poder verificar los resultados y determinar diferentes resultados.

Una demostración matemática es un razonamiento realizado con una lógica válida que progresa a partir de ideas que se dan por ciertas (llamadas hipótesis) hasta la afirmación que se esté planteando, o sea, hasta obtener la veracidad de la tesis formulada.1 Estos pasos deben estar fundamentados en la aplicación de reglas de deducción: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas básicas de deducción del sistema en cuestión. El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; sólo la demostración de la negación de este resultado implica que es falso.

Aunque en general no existe un procedimiento único de demostración de tesis, sí existen diferentes tipos de demostraciones que son utilizados comúnmente en matemáticas:

Demostración por contraposición (formalizado y utilizado en los silogismos por Aristóteles)

Demostración por reducción al absurdo (formalizado y utilizado por Aristóteles) y, como caso particular, descenso infinito

Inducción matemática

Inducción fuerte

Por otra parte, a pesar del alto grado de intervención humana necesario para hacer una demostración, también existen técnicas computacionales que permiten hacer demostraciones automáticas, notablemente en el campo de la geometría euclidiana.

...