m

Documents  Critères de recherche : "Le théorème de Godel" | enregistrements trouvés : 7

O
     

-A +A

P Q

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

- 134 p.
ISBN 978-2-225-84195-8

Axiomes

Localisation : Ouvrage RdC (SMUL)

Gödel # axiomatique # décidabilité # logique # logique des prédicats # théorème d'incomplétude de Gödel # théorème de Gödel-Tarki

03A05 ; 03B30

... Lire [+]

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

- 178 p.
ISBN 978-2-02-32778-7

Points

Localisation : Ouvrage RdC (THEO)

théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

... Lire [+]

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 [+]

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

- 178 p.
ISBN 978-2-02-010652-8

Collection sources du savoir

Localisation : Ouvrage RdC (THEO)

théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

... Lire [+]

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

- 268 p.
ISBN 978-2-88074-449-6

Localisation : Ouvrage RdC (DELE)

Gödel # histoire des mathématiques # logique # nombre # nombre naturel # philosophie des mathématiques # théorème d"incomplétude # théorème de complétude de premier ordre # théorème gödelien # évolution de la notion de nombre

00A30 ; 01A05 ; 03-03 ; 03A05

... Lire [+]

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

- 347 p.
ISBN 978-2-225-84080-7

Axiomes

Localisation : Ouvrage RdC (CORI)

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

... Lire [+]

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

- 374 p.
ISBN 978-2-10-005453-4

Localisation : Enseignement RdC (CORI)

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

... Lire [+]

Z