Appliqués à l'arithmétique, les théorèmes de Gödel fournissent des énoncés dont la signification est tout à fait intéressante, puisqu'il s'agit de la cohérence de la théorie. Cependant ces énoncés ...

La preuve par Gödel de son premier théorème d'incomplétude utilise essentiellement deux ingrédients : le codage par des nombres entiers du langage et des fonctions qui permettent de le manipuler, ce ...

The authors do not work for, consult, own shares in or receive funding from any company or organization that would benefit from this article, and have disclosed no relevant affiliations beyond their ...