Les limitations internes des formalismes
Etude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Jean Ladrière
Parution le 03/05/2000
Sommaire
- Les systèmes formels
- Système formel et métathéorie
- Le théorème de gödel
- Les généralisations directes du théorème de gödel
- Le corollaire de gödel et la théorie de la démonstration
- Le théorème de church et les problèmes de décision
- La théorie des prédicats de kleene
- La méthode sémantique, les théorèmes de tarski et de mostowski
- Autres faits de limitation
- Suggestion philosophique
Voir tout
Replier
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Jacques Gabay |
| Auteur(s) | Jean Ladrière |
| Parution | 03/05/2000 |
| Format | 24.5 x 18 |
| Couverture | Broché |
| Poids | 800g |
| EAN13 | 9782876470873 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
