Français
Une deuxième révolution galiléenne ?
Post-edited
Authors : Dowek, Gilles (Author of the conference)
CIRM (Publisher )
00A30 - Philosophy of mathematics [See also 03A05]
03B35 - Mechanization of proofs and logical operations
68T15 - Theorem proving (deduction, resolution, etc.)
CIRM (Publisher )
Loading the player...
|
| algorithm modelisation differential equation automaton rewrite rule grammar computability Church-Turing thesis |
Abstract :
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.
MSC Codes : 00A30 - Philosophy of mathematics [See also 03A05]
03B35 - Mechanization of proofs and logical operations
68T15 - Theorem proving (deduction, resolution, etc.)
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : French Available date : 19/05/15 Conference Date : 06/05/15 Subseries : Research talks arXiv category : Computer Science ; History and Overview Mathematical Area(s) : Computer Science Format : QuickTime (.mov) Video Time : 01:31:43 Targeted Audience : Researchers Download : https://videos.cirm-math.fr/2015-05-06_Dowek.mp4 
|
Information on the Event
Event Title : Algorithm and Programming / Algorithmique et programmationEvent Organizers : Albert, Luc ; Dorra, Francis ; Petit, Antoine Dates : 04/05/15 - 08/05/15 Event Year : 2015 Event URL : http://conferences.cirm-math.fr/1237.html
Citation Data
DOI : 10.24350/CIRM.V.18757903Cite 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 |
Bibliography
Imagette Video
Abstract
