F Nous contacter


0

Post-edited Une deuxième révolution galiléenne ?

Auteurs : Dowek, Gilles (Auteur de la Conférence)
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

    Réalisateur : Hennenfent, Guillaume
    Langue : Français
    Date de publication : 19/05/15
    Date de captation : 06/05/15
    Collection : Research talks
    Format : QuickTime (.mov) Durée : 01:31:43
    Domaine : Computer Science
    Audience : Chercheurs ; Doctorants , Post - Doctorants
    Download : http://videos.cirm-math.fr/2015-05-06_Dowek.mp4

Informations sur la rencontre

Nom du congrès : Algorithm and Programming / Algorithmique et programmation
Organisteurs Congrès : 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

Citation Data

DOI : 10.24350/CIRM.V.18757903
Cite this video as: 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



Z