Verificacio Y Descripcion

VERIFICACION

En el sentido más general, la verificación es la comprobación de algo. Este término se utiliza especialmente en las ciencias, ingeniería, derecho y computación.

La verificación y reproducibilidad en un experimento o investigación científica es un paso necesario para probar una teoría. Pero, aunque resulte positiva, no nos asegura que el resultado verificado sea correcto.

Por ejemplo, se podría formular la siguiente teoría: soy inmortal. El paso siguiente es verificar la teoría, cosa que se hace cada día al despertarse, cada día se está más seguro de ser inmortal. Si alcanzase los 100 años, se habría verificado muchísimas veces la teoría inicial, pero el día en que muera, no se podrá comprobar el error (falsar). Otro ejemplo son los indígenas que bailan sin parar la danza de la lluvia para atraerla. Ya que no paran hasta que llueva, siempre acaban verificando que da resultado.

Por ello algunos filósofos de la ciencia como Popper, han creído que el criterio de demarcación entre lo que es ciencia o no, debe ser la falsación, es decir la posibilidad de en un momento dado descubrir que una hipótesis o teoría es falsa, la verificación es uno de los pasos científicos.

DEMOSTRACION

Demostración. Razonamiento con que se fundamenta la veracidad (o falsedad) de un pensamiento. El pensamiento que se ha de demostrar se llama tesis de la demostración. Los juicios en que se apoya la demostración y de los que se sigue lógicamente la tesis, se denominan argumentos (bases) de la misma. Los argumentos se toman como verdaderos, con la particularidad de que su demostración no debe sostenerse en la tesis, pues de lo contrario se comete el error denominado círculo en la demostración o petición de principio. La demostración que establece la veracidad de una tesis se llama simplemente demostración; la que establece su falsedad, se denomina refutación. La demostración puede ser directa, es decir, puede formar una cadena de razonamientos cuyas premisas sean los argumentos o proposiciones de ellas inferidos, o puede efectuarse con ayuda de conjeturas complementarias. En este último caso, la demostración se estructura de la manera siguiente: con ayuda de las conjeturas se demuestran algunas proposiciones; luego, la demostración de estas proposiciones se transforma en demostración de la tesis inicial (sin suposiciones) aplicando determinadas reglas. Al número de las demostraciones que se realizan con ayuda de las suposicines pertenecen: 1) La demostracion mediante conjeturas elimínables recurriendo al teorema deductivo; 2) la demostración por análisis de los casos –tiene la siguiente forma: si se sabe que se dan o A1, o A2..., o An, se demuestra al principio la tesis B suponiendo que se da A1; luego, suponiendo que se da A2 y así sucesivamente hasta An. Con esto se demuestra la tesis B sin suposiciones;

...