Cela n’a rien \u00e0 voir avec le sujet du blog, mais je ne peut m’emp\u00eacher d’en parler quand m\u00eame : je viens de finir un bouquin g\u00e9ant, qui devrait \u00eatre obligatoire au moins \u00e0 partir du L3 de Maths mais qui est tr\u00e8s abordable et peut \u00eatre lu par des non matheux (il y a juste un chapitre sur la fin \u00e0 sauter pour ceux que l’alg\u00e8bre lin\u00e9aire rebute).<\/p>\n
Il s’agit de Preuves et r\u00e9futations , essai sur la logique de la d\u00e9couverte math\u00e9matique, <\/em>par Imre Lakatos (on peut le trouver pour 25\u20ac chez Hermann ou dans toutes les bonnes biblioth\u00e8ques).<\/p>\n J’en avais entendu parler depuis un moment, mais jamais pris le temps de l’emprunter et de le lire.<\/p>\n Certes, c’est un essai philosophique et historique sur la v\u00e9rit\u00e9 et la recherche en math\u00e9matiques, mais \u00e7\u00e0 se lit comme une pi\u00e8ce de th\u00e9\u00e2tre : l’essai est enti\u00e8rement sous la forme d’un d\u00e9bat entre un professeur et des \u00e9tudiants \u00e0 propos d’une conjecture et de sa preuve (la conjecture de Descartes-Euler sur les faces, ar\u00eates et sommets de poly\u00e8dre mais peu importe puisque les math\u00e9matiques en jeu sont accessibles \u00e0 partir de vagues souvenirs de coll\u00e8ge), avec des traits d’humour et des rebondissements jubilatoires : c’est bien simple, je m’esclaffais toutes les deux pages (et vu la hauteur des notes de bas de page, les pages ne sont pas si hautes \ud83d\ude42 ) en le lisant.<\/p>\n En m\u00eame temps, c’est tr\u00e8s profond, et bouscule (voir : met \u00e0 mort fa\u00e7on iaijutsu) des poncifs bien ancr\u00e9s sur la philosophie en g\u00e9n\u00e9ral et la place des maths en sciences en particulier. Impossible apr\u00e8s \u00e7\u00e0 de continuer \u00e0 voir les maths comme un bloc de v\u00e9rit\u00e9 monolithique et glacial. Plut\u00f4t comme…. disons le temps sur Mustaphar (la plan\u00e8te du duel Obi wan – Vador \u00e0 la fin de SWIII) \ud83d\ude09<\/p>\n Que du bonheur !<\/p>\n —<\/p>\n