m

Documents  Ladrière, Jean | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 715 p.

Collection de logique mathématique Série B , 0002

Localisation : Ouvrage RdC (LADR)

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 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 # ...

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

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z