Productions UL

3 items

• 

  Alfred Binet. Naissance de la psychologie scientifique

  Connu pour être le précurseur des tests de QI, le psychologue français Alfred Binet (1857-1911) a accompli une œuvre beaucoup plus vaste. Pionnier de la psychologie scientifique, il a permis à cette discipline de s’émanciper de la philosophie et de la médecine, en osant utiliser, à l’aube du 20ème siècle, la méthode expérimentale pour étudier l’intelligence, la mémoire ou l’imagination. Mais au-delà de ses études sur l’esprit humain, Binet fut également un savant prolifique qui se passionna pour la photographie, le théâtre, la littérature, la philosophie ou l’entomologie. Le web-documentaire "Alfred Binet. Naissance de la psychologie scientifique" redonne vie à l’aventure intellectuelle et personnelle de cet homme attachant et en avance sur son temps. Il offre à tous la possibilité de (re)découvrir Alfred Binet, en choisissant son propre chemin parmi les documents d’archives et les témoignages des meilleurs spécialistes. Avec des interventions de : Bernard Andrieu, Guy Avanzini, Georges Cognet, Flore Garcin-Marrou, Jacques Grégoire, Laurent Gutierrez, Alexandre Klein, Olivier Martin, Serge Nicolas. Une production de l’Université de Lorraine, en partenariat avec l’UOH, la Société Binet-Simon et le LHSP Archives Henri Poincaré (UMR 7117 CNRS).
• 

  De la logique avant toute chose : du programme de Hilbert à la naissance de la science informatique

  «Wir müssen wissen ; wir werden wissen» («nous devons savoir ; nous saurons»). C’est en ces mots que David Hilbert décrit, en 1930, l’ambitieux programme de recherche qu’il poursuit avec d’autres grands mathématiciens depuis le début du XXe siècle : refonder les mathématiques sur la base d’une logique qui soit cohérente, complète, et décidable. Peu après, les résultats d’incomplétude de Gödel et d’indécidabilité de Church et Turing portent un coup fatal au programme de Hilbert. Mais de cet échec émerge une belle théorie de la calculabilité, qui marque la naissance de la science informatique. Après un retour sur ce grand moment de science, nous parlerons de l’extraordinaire impact qu’ont eu la machine de Turing et le lambda-calcul de Church (les deux formalismes introduits pour montrer l’existence d’énoncés indécidables) sur des sujets aussi variés que l’architecture des ordinateurs, la conception et la sémantique des langages de programmation, le célèbre problème P ≠ NP, et la démonstration mathématique assistée par ordinateur. Conférence du cycle "Sciences et Société" de l'Institut Elie Cartan de Lorraine, donnée à Vandœuvre-lès-Nancy, le 16 mai 2024.
• 

  Peut-on entendre la forme d’un tambour ?

  "Peut-on entendre la forme d’un tambour ?" Tel est le titre de l’un des articles du mathématicien américano-polonais, Mark Kac, publié en 1966. Dans cet article, Mark Kac se posait la question suivante : si vous entendiez quelqu’un jouer du tambour, et à supposer que vous connaissiez les fréquences correspondant aux sons perçus, seriez-vous capable de déterminer la forme exacte de l’instrument qui a servi à les produire ? Ou, au contraire, existe-t-il plus d’un tambour capable de donner les sons en question ? En cinquante ans, cette question est devenue extrêmement classique et source de nombreux travaux. Conférence du cycle "Sciences et Société" de l'Institut Elie Cartan de Lorraine, donnée en ligne, le jeudi 10 octobre 2024.