Conférences
le (1h23s)
Résultats de recherche
Trier par :
Nombre de programmes trouvés : 6
Label UNT Conférences
le (1h21m10s)
Quelques rudiments de calculabilité et de complexité
...Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en définissant les notions et en donnant des jalons... Voir la vidéo
Label UNT Conférences
le (1h12m0s)
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
... chaque époque a ses systèmes de calculs et ses questions de calculabilité: au 19e siècle, l'essor des communications a mené à se poser des questions sur la possibilité de calculer certains mouvements. Au début... Voir la vidéo
Conférences
le (1h46m15s)
Alan Turing, génie méconnu
...Alan Mathison Turing est un mathématicien britannique auteur de l’article fondateur de la science informatique. Il est à l’origine de la formalisation des concepts d’algorithme et de calculabilité. Durant la Seconde Guerre mondiale, il a dirigé... Voir la vidéo
Label UNT Conférences
le (1h29m52s)
Les théorèmes de Gödel : fin d’un espoir ?
En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et leurs déductions. Apparemment très technique, ce théorème bouleversait la philosophie des mathématiques, et en particulier la vieille question de leur "fondement". Jean-Marc Deshouillers se propose ici de décrire l'avant et l'après Gödel en retraçant l'histoire des théories mathématiques depuis Aristote et Euclide jusqu'au renversement révolutionnaire des fondements mathématiques induit par le théorème d’incomplétude.La conférence ... Voir la vidéo
Conférences
le (2h11m31s)
