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

Note moyenne 
Jean Ladrière - .
65,00 €
Expédié sous 3 à 6 jours
Livré chez vous entre le 5 août et le 9 août

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

Caractéristiques

Avis libraires et clients

Du même auteur

Les clients ont également aimé

Derniers produits consultés

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 est également présent dans les rayons

65,00 €