Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Les limitations internes des formalismes
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Les limitations internes des formalismes

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
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription