Ce site est une archive.
Il reflète uniquement l'activité des sénateurs sur la période d'octobre 2004 à mars 2023.
Intervention de Laurent Gouzènes
Office parlementaire d'évaluation des choix scientifiques et technologiques — Réunion du 17 novembre 2010 : 1ère réunion
Débat sur les mathématiques en france et dans les sciences d'aujourd'hui
Laurent Gouzènes, membre du conseil scientifique de l'Office :
S'agissant des rapports entre informatique et mathématiques, l'Institut national de recherche en informatique et en automatique (INRIA) commence à travailler avec des ordinateurs démonstrateurs ou producteurs de théorèmes. Voyez-vous cela comme de la concurrence ou comme des super-crayons à papier ?
