m
     
Ouvrage

H 0 Les limitations internes des formalismes :
étude 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

Ladrière, Jean (Principal)

Gauthier-Villars

1957

715 p.

00019799

01Axx ; 03-02 ; 03A05 ; 03A30 ; 03Bxx

arithmétisation LFG et lemne de Gögel # arithmétisation et fonction récursive # autre fait de limitation # axiomatique # démonstration de Gentzen # fondement de mathématique # formalisation des mathématiques # formalisme # formalisme LFG # indécidabilité # langage # langue # les théorèmes de Tarski # limitation propre au logique combinatoire # logique # metathéorie # modèle non régulier # méthode de Prost # méthode sémantique # notation # paradoxe # philosophie des mathématiques # résultat de Kleene et de Turing # système formel # théorie des prédicats de Kleenne # théorème de Church # théorème de Gödel # théorème de Henkin # théorème de Kleene # théorème de Mostowski # théorème de Rosser # théorème de limitation # épistémologie des mathématiques

Ville d'édition : Louvain ; Paris

Pays d'édition : Belgique

Langue : Français

Collation : tables#25 cm#broch.

Collection : Collection de logique mathématique Série B

N° de collection : 0002

Localisation : Ouvrage RdC (LADR)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00019799

[disponible]
Z