En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03A30 4 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 44 p.
Cote : 00003762
analyse logique du langage # pseudo-proposition métaphysique # signification d'un mot # terme metaphysique insensés

03A05 ; 03A30 ; 03B65

Localisation : Ouvrage RdC (CARN)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 36 p.
Cote : 00003749
antinomie logique # branche de la logique # caractére tautologique de la logique # logique des relations # logique symbolique # mathématique # science unitaire # élimination de la métaphysique

03A05 ; 03A30 ; 03B65 ; 03Bxx ; 04A05

Localisation : Ouvrage RdC (CARN)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 715 p.
Cote : 00019799
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

Localisation : Ouvrage RdC (LADR)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 108 p.
Cote : 00025458
géométrie descriptive # axiomatique # ordre # intuitionisme # logique # géométrie analytique # géométrie plane # géométrie de l'espace

51-01 ; 51-03 ; 51N15 ; 51E15 ; 03A30 ; 51Nxx

Localisation : Ouvrage RdC (DEQU)

Sélection Signaler une erreur

Filtrer

Auteurs
Référence
Codes MSC
Date de parution