{"product_id":"la-theorie-des-types-de-russell-aux-assistants-a-la-demonstration","title":"La théorie des types, de Russell aux assistants à la démonstration","description":"Introduite par Bertrand Russell pour éviter les paradoxes qui apparaissent en\nmathématique si l’on utilise de manière trop naïve la notion de collection\nd’objets, la théorie des types a été raffinée par la notion de type dépendant.\nOutre son rôle important dans la formalisation des preuves mathématiques, cette\nnotion présente également un intérêt conceptuel intrinsèque en logique et en\ninformatique. Ce livre retrace l’histoire récente de ces découvertes, de la\nvérification des preuves sur ordinateur à la synergie qui est en train de\ns’établir entre la théorie des types dépendants et la théorie de l’homotopie.","brand":"CID - FMSH DIFFUSION","offers":[{"title":"Default Title","offer_id":57259110793551,"sku":"9782722608733","price":12.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0882\/8380\/8079\/files\/p6gw0fhyJhcuzYgGeH3T9Aw6JdTZtclkiaD8Ihj-1z5kp-LFKY1smA-cover-large.jpg?v=1773905952","url":"https:\/\/librairieledelta.com\/products\/la-theorie-des-types-de-russell-aux-assistants-a-la-demonstration","provider":"Librairie Le Delta","version":"1.0","type":"link"}