{"product_id":"benoit-monin-calculabilite-aleatoire-mathematiques-a-rebours-et-hypercalculabilite-9782916352961","title":"Calculabilité : aléatoire, mathématiques à rebours et hypercalculabilité","description":"\u003cp\u003eAu début du vingtième siècle, un petit groupe de logiciens et mathématiciens comprend et formalise, plusieurs décennies avant l'apparition des premiers ordinateurs, le concept de \u003ci\u003ecalcul\u003c\/i\u003e et de \u003ci\u003efonction calculable.\u003c\/i\u003e Leurs travaux vont constituer une base théorique solide sur laquelle se fondera l'informatique et ses nombreuses ramifications.\u003c\/p\u003e\u003cp\u003eC'est toutefois une histoire moins connue, mais issue des mêmes travaux que se proposent de nous raconter les auteurs du présent ouvrage : celle de la \u003ci\u003ecalculabilité,\u003c\/i\u003e discipline qui étudie les objets mathématiques sous le prisme de leur complexité calculatoire, et qui étudie en particulier les objets mathématiques \u003ci\u003eincalculables.\u003c\/i\u003e Ils réalisent cela via une notion de puissance de calcul, les \u003ci\u003edegrés Turing,\u003c\/i\u003e lesquels se révèlent d'une richesse surprenante et permettent de mieux comprendre de nombreux aspects des mathématiques générales.\u003c\/p\u003e\u003cp\u003eLa calculabilité a connu des succès majeurs en servant de fondement mathématique à l'étude de certaines questions à saveur philosophique ; Benoît Monin et Ludovic Patey en approfondissent deux, à travers \u003ci\u003ela théorie algorithmique de l'aléatoire\u003c\/i\u003e et \u003ci\u003eles mathématiques à rebours.\u003c\/i\u003e La dernière partie est consacrée quant à elle à une extension de la calculabilité à des modèles dont la puissance dépasse celle des ordinateurs classiques, et qui nous amènera à la frontière avec la théorie des ensembles.\u003c\/p\u003e\u003cp\u003eIl s'agit du premier ouvrage en français traitant de ce sujet de manière aussi achevée, à destination des chercheurs, étudiants, mathématiciens ou informaticiens curieux d'en apprendre plus sur les fondements de la théorie du calcul. Les auteurs y présentent de façon très accessible les principaux théorèmes de la calculabilité classique, mais aussi l'état de l'art en maints domaines de la recherche autour des thèmes correspondants. De nombreux exercices corrigés aident à la compréhension tout au long de l'ouvrage, qui a pour vocation à être pour un long moment la référence de la calculabilité en France.\u003c\/p\u003e","brand":"CALVAGE MOUNET","offers":[{"title":"Default Title","offer_id":53843341410646,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9782916352961_1.jpg?v=1781837527","url":"https:\/\/www.momoxbooks.com\/products\/benoit-monin-calculabilite-aleatoire-mathematiques-a-rebours-et-hypercalculabilite-9782916352961","provider":"momoxbooks","version":"1.0","type":"link"}