{"product_id":"jacques-m-patarin-theorie-des-ensembles-et-logique-mathematique-des-infinis-mathematiques-aux-theoremes-de-goedel-9782340041004","title":"Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel","description":"\u003cp\u003e\n      \u003cb\u003eThéorie des ensembles et logique mathématique\u003c\/b\u003e\n    \u003c\/p\u003e\u003cp\u003e\n      \u003cb\u003eDes infinis mathématiques aux théorèmes de Gödel\u003c\/b\u003e\n    \u003c\/p\u003e\u003cp\u003eCet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique.\u003c\/p\u003e\u003cp\u003eLa théorie des ensembles, développée au XIX\u003csup\u003ee\u003c\/sup\u003e et au XX\u003csup\u003ee\u003c\/sup\u003e siècle, est en particulier une théorie mathématique de l'infini. À ce titre, elle présente souvent des résultats très étonnants. La logique a une histoire qui remonte à l'Antiquité, mais elle a été totalement renouvelée au XX\u003csup\u003ee\u003c\/sup\u003e siècle par les très célèbres résultats de Kurt Gödel, en particulier par ses résultats d'incomplétude. Ces deux domaines ont de très nombreuses interactions.\u003c\/p\u003e\u003cp\u003eDe plus, avec le développement spectaculaire de l'informatique actuelle, de nombreux résultats de ce livre prennent aussi une importance pratique, et plus seulement théorique.\u003c\/p\u003e\u003cul\u003e\n      \u003cli\u003eQuels sont les différents infinis en mathématiques ?\u003c\/li\u003e\n      \u003cli\u003eExiste-t-il une infinité d'infinis différents ?\u003c\/li\u003e\n      \u003cli\u003eExiste-t-il une différence fondamentale entre ce qui est vrai et ce qui est prouvable ?\u003c\/li\u003e\n      \u003cli\u003eEn mathématiques, exister signifie-t-il la même chose qu'être non contradictoire ?\u003c\/li\u003e\n      \u003cli\u003ePeut-on fonder toutes les mathématiques à partir d'un petit nombre d'axiomes ?\u003c\/li\u003e\n      \u003cli\u003eExiste-t-il un ensemble de tous les ensembles ?\u003c\/li\u003e\n      \u003cli\u003ePeut-on créer un anti-virus informatique parfait ?\u003c\/li\u003e\n    \u003c\/ul\u003e\u003cp\u003eVoici quelques-unes des questions qui seront abordées ici.\u003c\/p\u003e\u003cp\u003ePresque tous les résultats sont présentés avec leurs preuves et de nombreux exercices (corrigés à la fin du livre) sont également inclus.\u003c\/p\u003e","brand":"Ellipses","offers":[{"title":"Default Title","offer_id":53845837676886,"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_9782340041004_1.jpg?v=1781839125","url":"https:\/\/www.momoxbooks.com\/products\/jacques-m-patarin-theorie-des-ensembles-et-logique-mathematique-des-infinis-mathematiques-aux-theoremes-de-goedel-9782340041004","provider":"momoxbooks","version":"1.0","type":"link"}