Résultat de la recherche
1 résultat(s) recherche sur le tag 'Turing machines' 




Titre : Le rêve de la raison : la logique mathématique et ses paradoxes Type de document : texte imprimé Auteurs : Javier Fresán (1987-....), Auteur Editeur : Barcelone : RBA Coleccionables S. A. Année de publication : DL 2012 Collection : Le monde est mathématique Importance : 1 vol. (141 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-8152-0461-3 Note générale : PPN 181482142 Langues : Français (fre) Langues originales : Espagnol (spa) Tags : Russell, Bertrand (1872-1970) Gödel, Kurt (1906-1978) Mathématiques -- Philosophie Logique mathématique Turing, Machines de Paradoxe Logique floue Mathematics -- Philosophy Logic, Symbolic and mathematical Turing machines Paradox Fuzzy logic Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : La quatrième de couverture indique : "Au cours des trente premières années du siècle dernier, deux éminents logiciens ont sérieusement ébranlé les piliers de l'édifice mathématique érigé depuis Euclide. Certains ont vu dans les travaux de Bertrand Russell et de Kurt Gödel la défaite de la raison. D'autres, au contraire, les ont utilisés pour avancer dans des domaines nouveaux et fascinants, tels que l'informatique et la logique floue." Note de contenu : Bibliogr. p. 137. Index p. 139-141 Le rêve de la raison : la logique mathématique et ses paradoxes [texte imprimé] / Javier Fresán (1987-....), Auteur . - Barcelone : RBA Coleccionables S. A., DL 2012 . - 1 vol. (141 p.) : ill., couv. ill. en coul. ; 24 cm. - (Le monde est mathématique) .
ISBN : 978-2-8152-0461-3
PPN 181482142
Langues : Français (fre) Langues originales : Espagnol (spa)
Tags : Russell, Bertrand (1872-1970) Gödel, Kurt (1906-1978) Mathématiques -- Philosophie Logique mathématique Turing, Machines de Paradoxe Logique floue Mathematics -- Philosophy Logic, Symbolic and mathematical Turing machines Paradox Fuzzy logic Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : La quatrième de couverture indique : "Au cours des trente premières années du siècle dernier, deux éminents logiciens ont sérieusement ébranlé les piliers de l'édifice mathématique érigé depuis Euclide. Certains ont vu dans les travaux de Bertrand Russell et de Kurt Gödel la défaite de la raison. D'autres, au contraire, les ont utilisés pour avancer dans des domaines nouveaux et fascinants, tels que l'informatique et la logique floue." Note de contenu : Bibliogr. p. 137. Index p. 139-141 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-010802 010802 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Sous sol-1-Ouvrages Disponible Nicholas Radulesco