03074cam a2200433 i 4500999001700000003000800017005001700025007000300042008004100045020002600086020002300112020003100135040001700166041000800183050002300191082000800214130003300222240004200255245009400297260003200391300002900423440003900452504004700491520157400538650003702112650004502149650004802194650003702242650003202279650003902311650001702350650002402367650002502391700004402416730003302460942001202493946000902505952012602514  c86947d86947BJBSDDR20230410132737.0ta140826s2013    fr a          000 0 fre    a9782823701173 (v.19)   a2823701176 (v.19)   a9782823700992 (collection)  bspacBJBSDDR0 afre14aQA 39.2bM741 201300a51013aLe Monde est mathématique 13aEl mundo es matemático. lFrancés13aLe Rêve de la raison : bla logique mathématique et ses paradoxes /cJavier Fresán.  aParis :bRBA France,c2013.  a141 p. :bill. ;c24 cm. 3aLe Monde est mathématique vv.19  aContiene bibliografía e índice. p. 137  aAux limites de la science et de la philosophie, les logiciens s'évertuent depuis le début du XXe siècle à ébranler les certitudes les plus établies des mathématiques. L'Anglais Bertrand Russell et l'Autrichien, naturalisé Américain, Kurt Gödel sont les plus célèbres de ces brillants penseurs portés par leur intelligence à l'avant-garde de la créativité intellectuelle. Le premier a laissé son nom à un paradoxe que l'on a pris l'habitude de décrire métaphoriquement sous le nom de « paradoxe du barbier ». Et que l'on peut ainsi résumer : dans un village où un décret municipal oblige le barbier à raser tous les habitants masculins qui ne se rasent pas eux-mêmes et seulement ceux-ci, qui rase le barbier ? Le second a énoncé le théorème d'incomplétude qui affirme qu'il existe, dans tout système mathématique, des propositions vraies que l'on ne peut ni prouver ni infirmer. Leurs travaux complexes et dérangeants ont autant fasciné les philosophes que les mathématiciens ; ils ont suscité les controverses les plus vives et entraîné les interprétations les plus farfelues. Certains ont voulu y voir la défaite de la raison, quand d'autres y ont puisé des arguments pour affirmer l'impossibilité de l'intelligence artificielle. Mais la leçon la plus lucide nous est, peut-être, offerte par Bertrand Russell lui-même, quand il écrivit en 1912 : « Existe-t-il au monde une connaissance dont la certitude soit telle qu'aucun homme raisonnable ne puisse la mettre en doute ? 4aMatemáticas96188xFilosofía 4aFilosofía de las matemáticas 914620 4aLógica simbólica y matemática 914625 4aLógica de primer orden 914629 4aPredicado (Lógica)914630 4aLógica formal xHistoria.914631 0aMathematics. 4aMatemáticas96190 4aAritmética 9145751 914628aFresán, Javier, d1987-eautor03aLe monde est mathématique.  2lcccBK  almd.  001040708HUaBJBbBJBcHUd2023-04-10hv.19l0oQA 39.2 M741 2013p00000110419r2018-10-25 00:00:00t1w2018-10-25yBK