IRMA - Documents

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

logique ; incomplétude ; Turing ; métaphysique

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

théorème ; Gödel ; non-contradiction ; proposition ; incomplétude ; arithmétique ; logique

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

complexité algorithmique ; théorie des ensembles de Zermelo-Fraenkel ; incomplétude ; fondements des mathématiques ; logique ; preuve

... Lire [+]

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

système de triples ; modèle en blocs ; carré latin ; incomplétude ; matrice de Hadamard ; configuration combinatoire

... Lire [+]

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

logique ; axiome ; inférence ; incomplétude ; théorie des modèles ; théorème de Henkin

... Lire [+]

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

théorie de l'information ; analyse de données ; incomplétude

... Lire [+]

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

vulgarisation ; nombre ; fondements des mathématiques ; théorie des ensembles ; Gödel ; complétude de Kolmogorov ; incomplétude

... Lire [+]

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

logique ; incomplétude ; preuve

... Lire [+]

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

incomplétude

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents incomplétude | enregistrements trouvés : 9

Les démons de Gödel : logique et folie Cassou-Noguès, Pierre. -Paris : Editions du Seuil , 2007 . - 279 p. ; 22 cm
ISBN 9782020923392
Nouveau

Le théorème de Gödel : Un Thèorème fondamental de la logique mathématique Cesar, Jean. -Besançon : IREM de Besançon , 1980 . - 31 p. ; 30 cm
Nouveau

Logical foundations of mathematics and computational complexity : a gentle introduction Pudlák, Pavel. -Cham : Springer , 2013 . - xiv, 695 p. ; 24 cm
ISBN 9783319001180
https://link.springer.com/bookseries/3733
Nouveau

Handbook of combinatorial designs Ed. Colbourn, Charles J. ; Ed. Dinitz, Jeffrey H.. -Boca Raton FL : CRC press ; Chapman and Hall , 2007 . - 984 p. ; 26 cm
ISBN 9781584885061
Nouveau

Lectures in logic and set theory. Vol. 1 : mathematical logic Tourlakis, George. -Cambridge : Cambridge university Press , 2003 . - xi, 328 p. ; 24 cm
Nouveau

Incomplete information: structure, inference, complexity Demri, Stéphane P. ; Orlowska, Ewa S.. -Berlin, Heidelberg, New York NY : Springer , 2002 . - xviii, 408 p. ; 24 cm
Nouveau

Goedel : une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes goedeliens Delessert, Andre. -Lausanne : Presses polytechniques et universitaires romandes , 2000 . - xviii, 268 p. ; 24 cm
Nouveau

The Logic of provability Boolos, George S.. -Cambridge : Cambridge university Press , 1993 . - xxxvi, 275 p. ; 23 cm
ISBN 9780521483254
Nouveau

The Incompleteness theorem Barendregt, Hendrik P.. -Utrecht : Rijksuniversiteit , 1976 . - 59
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents incomplétude | enregistrements trouvés : 9

Les démons de Gödel : logique et folie Cassou-Noguès, Pierre. -Paris : Editions du Seuil , 2007 . - 279 p. ; 22 cm ISBN 9782020923392 Nouveau

Le théorème de Gödel : Un Thèorème fondamental de la logique mathématique Cesar, Jean. -Besançon : IREM de Besançon , 1980 . - 31 p. ; 30 cm Nouveau

Logical foundations of mathematics and computational complexity : a gentle introduction Pudlák, Pavel. -Cham : Springer , 2013 . - xiv, 695 p. ; 24 cm ISBN 9783319001180 https://link.springer.com/bookseries/3733 Nouveau

Handbook of combinatorial designs Ed. Colbourn, Charles J. ; Ed. Dinitz, Jeffrey H.. -Boca Raton FL : CRC press ; Chapman and Hall , 2007 . - 984 p. ; 26 cm ISBN 9781584885061 Nouveau

Lectures in logic and set theory. Vol. 1 : mathematical logic Tourlakis, George. -Cambridge : Cambridge university Press , 2003 . - xi, 328 p. ; 24 cm Nouveau

Incomplete information: structure, inference, complexity Demri, Stéphane P. ; Orlowska, Ewa S.. -Berlin, Heidelberg, New York NY : Springer , 2002 . - xviii, 408 p. ; 24 cm Nouveau

Goedel : une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes goedeliens Delessert, Andre. -Lausanne : Presses polytechniques et universitaires romandes , 2000 . - xviii, 268 p. ; 24 cm Nouveau

The Logic of provability Boolos, George S.. -Cambridge : Cambridge university Press , 1993 . - xxxvi, 275 p. ; 23 cm ISBN 9780521483254 Nouveau

The Incompleteness theorem Barendregt, Hendrik P.. -Utrecht : Rijksuniversiteit , 1976 . - 59 Nouveau

Les démons de Gödel : logique et folie Cassou-Noguès, Pierre. -Paris : Editions du Seuil , 2007 . - 279 p. ; 22 cm
ISBN 9782020923392
Nouveau

Le théorème de Gödel : Un Thèorème fondamental de la logique mathématique Cesar, Jean. -Besançon : IREM de Besançon , 1980 . - 31 p. ; 30 cm
Nouveau

Logical foundations of mathematics and computational complexity : a gentle introduction Pudlák, Pavel. -Cham : Springer , 2013 . - xiv, 695 p. ; 24 cm
ISBN 9783319001180
https://link.springer.com/bookseries/3733
Nouveau

Handbook of combinatorial designs Ed. Colbourn, Charles J. ; Ed. Dinitz, Jeffrey H.. -Boca Raton FL : CRC press ; Chapman and Hall , 2007 . - 984 p. ; 26 cm
ISBN 9781584885061
Nouveau

Lectures in logic and set theory. Vol. 1 : mathematical logic Tourlakis, George. -Cambridge : Cambridge university Press , 2003 . - xi, 328 p. ; 24 cm
Nouveau

Incomplete information: structure, inference, complexity Demri, Stéphane P. ; Orlowska, Ewa S.. -Berlin, Heidelberg, New York NY : Springer , 2002 . - xviii, 408 p. ; 24 cm
Nouveau

Goedel : une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes goedeliens Delessert, Andre. -Lausanne : Presses polytechniques et universitaires romandes , 2000 . - xviii, 268 p. ; 24 cm
Nouveau

The Logic of provability Boolos, George S.. -Cambridge : Cambridge university Press , 1993 . - xxxvi, 275 p. ; 23 cm
ISBN 9780521483254
Nouveau

The Incompleteness theorem Barendregt, Hendrik P.. -Utrecht : Rijksuniversiteit , 1976 . - 59
Nouveau