Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 178 p.
Cote : 00013389
théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie
03-03 ; 03A05
Localisation : Ouvrage RdC (THEO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 178 p.
Cote : 00039300
théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie
03-03 ; 03A05
Localisation : Ouvrage RdC (THEO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 374 p.
Cote : 00025959
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles
03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30
Localisation : Enseignement RdC (CORI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 347 p.
Cote : 00015781
fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel
03Cxx ; 03D20 ; 03Exx ; 03F40
Localisation : Ouvrage RdC (CORI)
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ème s 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ème s 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)