Teorema de incompletitud de Gödel


Kurt F. Gödel, en «Sobre las proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines» [paráfrasis]:

«Existen argumentos lógicos imposibles de ser deducidos verdaderos o falsos; entre ellos, la coherencia de dichos razonamientos.»

La existencia verdadera o falsa de algo (por ejemplo, las piedras; al contrario, las hadas), no implica que la misma sea demostrable así, ni que deba o no tenerse fe en cualquiera de estas posibilidades.

·

La creatividad surge de hallar –pensando diferente del resto– ideas absurdas, para así nuevamente pensarlas y darles coherencia.

Ahí la importancia de la Lógica: porque sólo con ella es posible tanto hallar los absurdos como obtener la coherencia.

·

miércoles, 26 de diciembre de 2012

SUMA DE COMBINATORIAS CONSECUTIVAS

Teorema: la suma de combinatorias consecutivas en selección para un universo de cardinal n es igual a la combinatoria con la selección mayor de las anteriores para un universo de cardinal n+1.

La hipótesis (por el momento) anterior se traduce como sigue simbólicamente:

[nℂm]+[nℂ(m+1)]=[(n+1)ℂ(m+1)]

Si se desarrolla la suma en términos de factoriales, se tiene:

[nℂm]+[nℂ(m+1)]={n!/[m!(n-m)!]}+{n!/[(m+1)!(n-m-1)!]}

Luego, factorizando n!/m!, la expresión cambia por:

[nℂm]+[nℂ(m+1)]=(n!/m!){[1/(n-m)!]+{1/[(m+1)(n-m-1)!]}}

La suma que queda al interior de los corchetes puede desarrollarse como sigue:

[nℂm]+[nℂ(m+1)]=(n!/m!)[(m+1)(n-m-1)!+(n-m)!]/[(m+1)(n-m-1)!(n-m)!]

Es posible dividir la suma del numerador en la expresión desarollada por el factor (n-m-1)! que ya se halla en el denominador de la fracción, de tal forma que se observe:

[nℂm]+[nℂ(m+1)]=(n!/m!)[(m+1)+(n-m)]/[(m+1)(n-m)!]

Con ello se simplifica el numerador:

[nℂm]+[nℂ(m+1)]=(n!/m!)(n+1)/[(m+1)(n-m)!]

Efectuando el producto con el factor n!/m!, queda:

[nℂm]+[nℂ(m+1)]=(n+1)!/[(m+1)!(n-m)!]

Justamente el valor (n-m)! es idéntico al valor [(n+1)-(m+1)]! (puede simplificarse para observar lo dicho), por lo cual es posible decir que:

[nℂm]+[nℂ(m+1)]=[(n+1)ℂ(m+1)]

Comprobando la validez de la hipótesis.


26 de Diciembre de 2012

No hay comentarios:

Publicar un comentario