Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 269 p.
ISBN 978-0-7923-2210-8
Mathematics and its applications , 0251
Localisation : Ouvrage RdC (USPE)
Numération de Gödel dans la théorie de la preuve # algorithme non numérique # analyse d'algorithme # applications mathématiques de la théorie des algorithmes # complexité de problème # informatique théorique # machine de Twing # mathématique constructive # théorie algorithmique de l'information
03F40 ; 68Q20 ; 68Q25 ; 68Q30 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 172 p.
ISBN 978-1-56881-238-0
Localisation : Ouvrage RdC (TORK)
logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel
03-01 ; 03F30 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 147 p.
ISBN 978-0-691-08047-5
Annals of mathematics studies , 0047
Localisation : Ouvrage RdC (SMUL)
arithmétique constructive # créativité et effective inséparabilité # incomplétude # indécidabilité # oméga-consistance # représentabilité formelle # système formel mathématique # théorie de Gödel et Rosser # théorie des fonctions récursives # théorie des systèmes formels # énumérabilité récursive
03D20 ; 03D25 ; 03D35 ; 03F40 ; 03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 396 p.
ISBN 978-0-19-853450-1
Oxford logic guides , 0027
Localisation : Ouvrage RdC (SMUL)
arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude
03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 361 p.
ISBN 978-0-521-85784-0
Cambridge introductions to philosophy
Localisation : Ouvrage RdC (SMIT)
théorème d'incomplétude de Gödel # logique # histoire des mathématiques # arithmétique # épistémologie
03-01 ; 03-02 ; 03-03 ; 03F30 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 465 p.
ISBN 978-0-521-51769-0
Perspectives in logic
Localisation : Ouvrage RdC (SCHW)
théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité
03-02 ; 03D15 ; 03D65 ; 03F10 ; 03F15 ; 03F35 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 342 p.
ISBN 978-3-7643-3034-7
Localisation : Ouvrage RdC (R)
cardinal transfini # de Pythagore à Cantor # infinité et esprit # puzzle et paradoxe # qu'est-ce que la vérité? # robot et ame # science et philosophie de l'infini # théorème d'incomplétude de Godel # un et multiple
00A30 ; 01A20 ; 03-01 ; 03A05 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 189 p.
ISBN 978-0-19-853189-0
Oxford logic guides , 0009
Localisation : Ouvrage RdC (ROSE)
fonction de base # hiérarchie étendue de Grzegorczyk # induction transfinie # petite classe de type Grzegorczyk # récursion ordinaire et nichée # sous-récursion # théorie de la hiérarchie # théorème d'incomplétude de Godel
03D20 ; 03F15 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 277 p.
ISBN 978-0-19-875959-1
Localisation : Ouvrage RdC (GODE)
Kurt Gödel # théorème d'incomplétude de Gödel # logique intuitionniste # philosophie # limite de la connaissance
03-06 ; 03A05 ; 03B42 ; 03B70 ; 03F40 ; 68Q55 ; 00B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 176 p.
ISBN 978-0-521-37181-0
Cambridge tracts in theoretical computer science , 0007
Localisation : Ouvrage RdC (GIRA)
logique # théorie de la preuve
03Cxx ; 03F40 ; 03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 347 p.
ISBN 978-981-270-895-3
Localisation : Ouvrage RdC (CHAI)
logique mathématique # modèle de calcul # théorie de la démonstration # information algorithmique # complexité de Klomogorov
03-06 ; 00-XX ; 03D10 ; 03F30 ; 03F40 ; 68Q05 ; 68Q30 ; 68Q15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 172 p.
ISBN 978-0-8218-1078-1
American mathematical society translations series 2 , 0192
Localisation : Collection 1er étage
classe de complexité # complexité du calcul # grammaire # informatique # langue # linguistique mathématique # logique du langage # logique modale # théorie de preuve
03B45 ; 03B65 ; 03F40 ; 68Q15 ; 68S08
... Lire [+]
