Gödel's Incompleteness Phenomenon—Computationally
Nous soutenons que le théorème de complétude de Gödel est équivalent à la complétabilité de théories consistentes, et que son théorème d'incomplétude est équivalent au fait que cette complétion n'est pas constructive, en ce sens qu'il existe des théories consistantes et récursivement...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicado em: |
2015
|
| Acesso em linha: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |