

{"id":1375,"date":"2013-12-06T10:40:23","date_gmt":"2013-12-06T09:40:23","guid":{"rendered":"https:\/\/project.inria.fr\/mastic\/?p=1375"},"modified":"2013-12-06T10:42:17","modified_gmt":"2013-12-06T09:42:17","slug":"cafe-in-19-decembre-quest-ce-quune-preuve-mathematique","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/mastic\/cafe-in-19-decembre-quest-ce-quune-preuve-mathematique\/","title":{"rendered":"Caf\u00e9-in (19 D\u00e9cembre): Qu&rsquo;est-ce qu&rsquo;une preuve math\u00e9matique?"},"content":{"rendered":"<p><\/p>\n<h2>19 D\u00e9cembre 2013, 13h-14h, salle Euler violet, par\u00a0 Laurent Th\u00e9ry<\/h2>\n<p><a href=\"https:\/\/project.inria.fr\/mastic\/files\/2013\/12\/affiche-finale-web-novembre-2013-thery-math-rubik.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignleft size-medium wp-image-1376\" alt=\"affiche-finale-web-novembre-2013-thery-math-rubik\" src=\"https:\/\/project.inria.fr\/mastic\/files\/2013\/12\/affiche-finale-web-novembre-2013-thery-math-rubik-212x300.jpg\" width=\"212\" height=\"300\" srcset=\"https:\/\/project.inria.fr\/mastic\/files\/2013\/12\/affiche-finale-web-novembre-2013-thery-math-rubik-212x300.jpg 212w, https:\/\/project.inria.fr\/mastic\/files\/2013\/12\/affiche-finale-web-novembre-2013-thery-math-rubik-724x1024.jpg 724w, https:\/\/project.inria.fr\/mastic\/files\/2013\/12\/affiche-finale-web-novembre-2013-thery-math-rubik.jpg 1241w\" sizes=\"auto, (max-width: 212px) 100vw, 212px\" \/><\/a>L&rsquo;apparition des ordinateurs a quelque peu modifi\u00e9 la vision traditionnelle de ce qu&rsquo;est une preuve math\u00e9matique. Dans cet expos\u00e9, nous illustrerons ce nouvel \u00e9tat de fait par quelques exemples \u00e9l\u00e9mentaires dont le c\u00e9l\u00e8bre cube de Rubik. Ensuite, nous essaierons de montrer comment informatiquement on peut accompagner cette nouvelle fa\u00e7on de faire des math\u00e9matiques.<\/p>\n<p><strong>13h :<\/strong> accueil avec caf\u00e9, th\u00e9 et petits g\u00e2teaux.<br \/>\n<strong>13h05-13h55 :<\/strong> pr\u00e9sentation et discussion.<\/p>","protected":false},"excerpt":{"rendered":"<p>19 D\u00e9cembre 2013, 13h-14h, salle Euler violet, par\u00a0 Laurent Th\u00e9ry L&rsquo;apparition des ordinateurs a quelque peu modifi\u00e9 la vision traditionnelle de ce qu&rsquo;est une preuve math\u00e9matique. Dans cet expos\u00e9, nous illustrerons ce nouvel \u00e9tat de fait par quelques exemples \u00e9l\u00e9mentaires dont le c\u00e9l\u00e8bre cube de Rubik. Ensuite, nous essaierons de\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/mastic\/cafe-in-19-decembre-quest-ce-quune-preuve-mathematique\/\"><span>Continuer la lecture<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":40,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[],"class_list":["post-1375","post","type-post","status-publish","format-standard","hentry","category-cafein"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/posts\/1375","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/users\/40"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/comments?post=1375"}],"version-history":[{"count":4,"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/posts\/1375\/revisions"}],"predecessor-version":[{"id":1380,"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/posts\/1375\/revisions\/1380"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/media?parent=1375"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/categories?post=1375"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/mastic\/wp-json\/wp\/v2\/tags?post=1375"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}