<ul><li><strong>Vid&eacute;o du Coll&egrave;ge de France : "</strong><strong><a href="http://www.college-de-france.fr/default/EN/all/inn_tec/p1205224252028.htm" target="_blank">Preuve et calcul, des rapports intimes</a>"</strong></li></ul><h2 class="fs-inter"></h2><ul><li><strong>Colloquium Jacques Morgenstern : </strong>"<a href="http://www-sop.inria.fr/colloquium/dowek/video.html" target="_blank">La th&egrave;se de Church et la d&eacute;raisonnable efficacit&eacute; des math&eacute;matiques dans les sciences de la nature</a>"&nbsp; F&eacute;vrier 2008</li></ul>

Les dernières actualités de Futura

Les derniers dossiers de Futura

Les dernières définitions de Futura

Les dernières questions - réponses de Futura

Les dernières photos de Futura

Les derniers métiers de Futura

Les derniers livres de Futura

Les dernières vidéos de Futura

En vidéo deux conférences de Gilles Dowek | Dossier

intrication quantique entre deux personnes

Guides entretien des sols

Quels sont les meilleurs aspirateurs robots iRobot ?

Guides logiciels

Office 2021 et Windows 11 : les meilleures offres à saisir avant Noël !

Guides gaming

Découvrez les 5 jeux Nintendo Switch incontournables à moins de 50 € pour un Noël réussi !

Guides voyage

Le top 5 des tentes de camping indispensables pour une randonnée

Guides Maison

Cdiscount : voici les meilleurs jeux de société pour Noël à moins de 100 €

Guides vélos et trottinettes

Cette trottinette électrique très prisée chute à moins de 200 € chez Cdiscount

Guides énergie

Électricité : économisez 24 % sur le kWh et recevez 100 euros offerts avec l’offre Elec Référence 1 an d’ENGIE !

Quel aspirateur laveur Tineco choisir en 2024 ?

Guides robots cuisine

Quel robot de cuisine acheter en 2024 ?

Gilles Dowek est professeur d'Informatique à l'École polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique (INRIA). Ses travaux portent sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de démonstrations mathématiques et sur la sureté des logiciels. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.
Il a été visiteur à l'Université Carnegie Mellon à Pittsburgh, dans les laboratoires de la société Computational Logic à Austin et dans le laboratoire ICASE de la Nasa à Hampton, tous trois aux États-unis. Il a également enseigné à l'Université de Nanjing en Chine durant l'été 2002.
En 2000, la Société mathématique de France lui a remis le Grand prix d'Alembert des Lycéens en pour une action de diffusion des mathématiques auprès des jeunes.
Livres : 
- Voulez-vous jouer avec les maths ? Le Pommier (2002).
- Les Métamorphoses du calcul Le Pommier (2007)
Socle même de la méthode mathématique depuis l’Antiquité grecque, la notion de démonstration s’est profondément transformée, depuis le début des années soixante-dix. Plusieurs avancées mathématiques importantes, non toujours connectées les unes aux autres, remettent ainsi progressivement en cause la prééminence du raisonnement sur le calcul, pour proposer une vision plus équilibrée, dans laquelle l'un et l'autre jouent des rôles complémentaires.

Cette véritable révolution nous amène à repenser le dialogue des mathématiques avec les sciences de la nature. Elle éclaire d'une lumière nouvelle certains concepts philosophiques, comme ceux de jugement analytique et synthétique. Elle nous amène aussi à nous interroger sur les liens entre les mathématiques et l'informatique, et sur la singularité des mathématiques qui est longtemps restée l'unique science à ne pas utiliser d'instruments. Enfin, et c'est certainement le plus prometteur, elle nous laisse entrevoir de nouvelles manières de résoudre des problèmes mathématiques, qui s'affranchissent de certaines limites arbitraires que la technologie du passé a imposé à la taille des démonstrations : les mathématiques sont peut-être en train de partir à la conquête d'espaces jusqu'alors inaccessibles. 
- Quand la science a dit .... c'est impossible Editions Le Pommier 2008



La science a quelquefois avoué son ignorance, parfois changé d’avis, le plus souvent oscillé entre le doute et l’affirmation catégorique. Mais l’un des moments les plus riches est sans doute celui où elle a choisi de dire : « C’est impossible ! » Parfois, il suffit de décréter que l’impossible est « possible » pour que la face d’une science s’en trouve changée… 
En douze chapitres, trois scientifiques – un physicien, un mathématicien et un biologiste – nous expliquent quelques-uns de ces moments forts de l’histoire des sciences. Nayla Farouki introduit chaque chapitre par une réflexion sur la notion d’« impossible ».
Nayla Farouki est philosophe et historienne des sciences.Jean-Michel Alimi, astrophysicien, spécialiste de cosmologie, est l’auteur, au Pommier de la Petite Pomme Pourquoi la nuit est-elle noire ? ; Gilles Dowek, mathématicien et informaticien est professeur à l’Ecole Polytechnique, et auteur de plusieurs ouvrages au Pommier, notamment Les métamorphoses du calcul, qui vient de paraître ; Laurence Rolland est chercheuse à l’université de technologie de Compiègne et à l’hôpital de la Pitié-Salpêtrière.

Gilles Dowek

En vidéo deux conférences de Gilles Dowek

4289_en-video-deux-conferences-de-gilles-dowek

Jeunes Pousses

Vivre mieux avec moins : comment deux aventuriers réinventent notre vision du futur

Offrez mieux, consommez responsable : la magie de la carte Éthi’Kdo

Technologie

Trillium, « l’accélérateur d’intelligence artificielle » développé en secret par Google

Tech

Reportage au cœur des labos de Reborn, le fournisseur des smartphones reconditionnés de la Fnac

Guerre du futur

Que prépare la Russie dans l’espace avec ce satellite équipé d’une ogive ?

Surfer toute l’année, même en ville avec Curvway

SmartMotion

Bonus écologique en baisse : découvrez le nouveau barème

Les radars anti-bruit débarquent : êtes-vous dans le viseur des nouvelles sanctions de l’État ?

En vidéo deux conférences de Gilles Dowek

Bac +5 : sciences, les secteurs d'emplois de demain

Biographie et interview de Pierre Gilles de Gennes

Le CV vidéo, un bon moyen de se faire repérer ?

Sciences, sectes et religion

Chine et Japon : deux empires fermés au XVIIe siècle

Pourquoi voit-on deux rails parallèles se couper à l’infini ?

Futura-Sciences passe à la vidéo : un podcast exclusif à découvrir

Les conférences de Feynman en libre accès ! Merci Bill Gates !

Décès de Pierre-Gilles de Gennes : hommage à un parrain d'exception

Interview de Pierre-Gilles de Gennes sur les énergies du futur, l'éducation et la recherche

Futura-Sciences recrute un Cadreur/Monteur vidéo (H/F)

En vidéo : la supernova qui a explosé deux fois !