Logique & calcul. Presque tout est indécidable !
Enregistré dans:
| Publié dans: | Pour la science No 375 |
|---|---|
| Auteur principal: | |
| Support: | Article de revue |
| Publié: |
2009.
|
| Sujets: | |
| Résumé: | Grâce aux notions probabilistes, les logiciens démontrent que l'incomplétude de Gödel est beaucoup plus grave et incontournable que tout ce que l'on pouvait craindre |
| Lien: | Dans:
Pour la science |