Maeckes logo

<    1    >


Teoremas de incompletitud

Las dos teoremas de incomplitud de Gödel afirman que declaraciones pueden ser formalmente indecidibles.

 


Explicación

El primer teorema de incompletitud afirma que cualquier sistema formal que es internamente consistente, contiene declaraciones par ellos no puede demostrarse que son verdadero o falso.

El segundo teorema de incompletitud dice que en un sistema formal no puede probar que es internamente consistente.

 


Inteligencia artificial

Las teoremas de incompletitud mostrar que inteligencia artificial no es posible porque computadoras son siempre sistemas formal finitos. Probablemente, intelecto humano es también a tal limitado.

 


Deutsch   English   Français   Nederlands