Maeckes logo

<    1    >


Théorèmes d'incomplétude

Les deux théiorèmes d'incomplétude de Gödel prétendent que des affirmations peuvent être formellement indécidables.

 


Explication

Le premier théorème d'incomplétude stipule que tout système formel que est cohérent interne, contient des affirmations pour quelles on ne peut pas prouvé qu'ils sont vrais ou faux.

Le second théorème d'incomplétude, affirme que dans un système formel, on ne peut pas prouver qu'il est cohérent interne.

 


Intelligence artificielle

Les théorèmes d'incomplétude signifiquent, que l'intelligence artificielle n'est pas possible parce que des ordinateurs sont toujours des systèmes formelle finis. Probablement, l'intellect humain est aussi restreint comme ça.

 


Deutsch   English   Español   Nederlands