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 |
BU Sciences
| Localisation | Cote | Statut | |
|---|---|---|---|
|
n° 375 (2009)
|
Archives | 500 RS POU |
Dispo. du n° : voir "Lien"
|