EnglishUne deuxième révolution galiléenne ?
Post-edited
Auteurs : Dowek, Gilles (Auteur de la Conférence)
CIRM (Editeur )
00A30 - Philosophy of mathematics [See also 03A05]
03B35 - Mechanization of proofs and logical operations
68T15 - Theorem proving (deduction, resolution, etc.)
CIRM (Editeur )
Loading the player...
|
| algorithm modelisation differential equation automaton rewrite rule grammar computability Church-Turing thesis |
Résumé :
L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère algorithmique de ces objets scientifiques nous amène à considérer de nouveaux langages pour les décrire. Cette révolution, dans le langage dans lequel la science s'écrit, peut-être comparée à la révolution qui s'est produite, au début du XVIIe siècle, quand le langage mathématique a commencé à être utilisé pour décrire des phénomènes physiques.
Codes MSC : 00A30 - Philosophy of mathematics [See also 03A05]
03B35 - Mechanization of proofs and logical operations
68T15 - Theorem proving (deduction, resolution, etc.)
|
Informations sur la Vidéo
Langue : FrançaisDate de publication : 19/05/15 Date de captation : 06/05/15 Sous collection : Research talks arXiv category : Computer Science ; History and Overview Domaine : Computer Science Format : QuickTime (.mov) Durée : 01:31:43 Audience : Researchers Download : https://videos.cirm-math.fr/2015-05-06_Dowek.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : Algorithm and Programming / Algorithmique et programmationOrganisateurs de la rencontre : Albert, Luc ; Dorra, Francis ; Petit, Antoine Dates : 04/05/15 - 08/05/15 Année de la rencontre : 2015 URL Congrès : http://conferences.cirm-math.fr/1237.html
Données de citation
DOI : 10.24350/CIRM.V.18757903Citer cette vidéo: Dowek, Gilles (2015). Une deuxième révolution galiléenne ?. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.18757903 URI : http://dx.doi.org/10.24350/CIRM.V.18757903 |
Bibliographie
Imagette Video
Additional resource
