m

F Nous contacter

0

Documents  Largeault, Jean | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 486 p.

Publications de la faculté des lettres et sciences humaines de Paris-Sorbonne série recherches , 0050

Localisation : Ouvrage RdC (LARG)

langage # logique # philosophie # réduction de l'arithmétique # syllogisme de Frege

01A55 ; 03A05

... Lire [+]

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

- 322 p.
ISBN 978-2-7116-1219-2

Mathesis

Localisation : Ouvrage RdC (WEYL)

axiomatique et procédure constructive # connaissance mathématique # ensemble # fonction # fondement de l'analyse contemporaine # fondement des mathématiques # la pensée mathématique # le continu # philosophie des mathématiques # physique mathématique # symbolisme # épistémologie des mathématiques

00A30 ; 03A05

... Lire [+]

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

- 412 p.

Collection U

Localisation : Ouvrage RdC (KLEE)

logique # calcul propositionnel # calcul de prédicat # théorie des modèles # théorie de la démonstration # décidabilité # calculabilité # fondement des mathématiques # machine de Turing # théorème de Church # théorème de Gödel # théorème de Gentzen # théorème d'Herbrand # interpolation de Craig # théorème de complétude de Gödel # théorème de Löwenheim-Skolem

03-01

... Lire [+]

Z