Les langages. C'est ce que Gilles Dowek appelle l'" éléphant dans le salon " : un objet gigantesque que personne ne voit et donc personne ne parle alors qu'il structure nos vies... [lire la suite]
Plusieurs avancées mathématiques importantes remettent en cause, depuis la fin du XXe siècle, la longue prééminence du raisonnement sur le calcul. 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 des concepts philosophiques, comme ceux de jugement analytique et synthétique. [lire la suite]
Très valorisé dans notre monde "raisonnable", le raisonnement n'est pas le seul moyen d'accéder à la vérité. [lire la suite]
L'enseignement de l'informatique est indispensable à la formation scientifique de l'étudiant qui se destine à une carrière d'ingénieur ou de chercheur.
Comprendre le fonctionnement des systèmes qui nous entourent et, mieux encore, savoir les programmer, permettra aux jeunes citoyens d'être acteurs du monde contemporain. [lire la suite]
Voici le premier manuel pour l'enseignement de spécialité "Informatique et sciences du numérique" pour les élèves de Terminale S. [lire la suite]
Gilles Dowek est professeur à l'École Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'École Polytechnique.
Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. [lire la suite]
