CIRM - Videos & books LibraryDocuments

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Computer Science

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. 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 ...

Documents

Thesaurus

Revues

Documents 00A30 | enregistrements trouvés : 376

Une deuxième révolution galiléenne ? Dowek, Gilles | CIRM H Nouveau

Foundations of mathematics.Logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthdayCambridge # March 27-29, 2015 Caicedo, Andrés Eduardo ; Cummings, James ; Koellner, Peter ; Larson, Paul B. | American Mathematical Society 2017 Nouveau

Towards new logic and semantics:Franco-Japanese collaborative lectures on philosophy of logic Benoist, Jocelyn ; Girard, Jean-Yves ; Ogawa, Yoshinori ; Okada, Mitsuhiro | Keio University 2006 Nouveau

Infinity:new research frontiers.Based on the conference on new frontiers in research on infinitySan Marino # august 18-20, 2006 Heller, Michael ; Woodin, W. Hugh | Cambridge University Press 2011 Nouveau

Hermann Grassmann.From past to future: Grassmann's work in context.Proceedings of the Grassmann bicentennial conferencePotsdam and Szczecin # september 16-19, 2009 Petsche, Hans-Joachim ; Lewis, Albert C. ; Liesen, Jörg ; Russ, Steve | Birkhäuser 2011 Nouveau

Relfections on the foundations of mathematics :essays in honor of Solomon Feferman#papers from the symposium held at Stanford University#Dec. 11-13. Sieg, Wilfried ; Sommer, Richard ; Talcott, Carolyn | Association for Symbolic Logic;A.K. Peters, Ltd 2002 Nouveau

Council for African American researchers in the mathematical sciences. Vol III#fifth conference for ... held at the University of Michigan#June 22-25 Noël, Alfred G. ; Barnes, Earl ; Stephens, Sonya A. F. | American Mathematical Society 2001 Nouveau

Truth in mathematicsLectures given at a conference held in sicily in the memory of dr. r. o. gandy 1919-1995 sept. 13-20 Dales, H. G. ; Oliveri, G. | Clarendon Press 1998 Nouveau

Conférence de la réunion internationale des mathématiciens tenue en Juillet | Gauthier-Villars imprimeur-éditeur 1939 Nouveau

La mémoire des nombresactes du Xè colloque inter-IREM d'épistémologie et d'histoire des mathématiquesMai 27-28 | I.R.E.M. 1997 Nouveau

Histoire d'infiniactes du 9ème colloque inter-IREM épistémologie et histoire des mathématiquesMai 22-23 | I.R.E.M. 1994 Nouveau

Contribution à une approche historique de l'enseignement des mathématiquesactes du 6ème université d'été interdisciplinaire sur l'histoire des mathématiquesUniversité de Franche- ComtéJuillet 8-13 | I.R.E.M. 1993 Nouveau

Henri Poincaréscience et philosophie Greffe, Jean-Louis ; Heinzmann, Gerhard ; Lorenz, Kuno | Akademie Verlag;Librairie A. Blanchard 1996 Nouveau

Le labyrinthe du continucolloque de Cerisy au Centre Culturel InternationalSept.11-20 Salanskis, Jean-Michel ; Sinaceur,Hourya | Springer-Verlag 1992 Nouveau

La societe philomatique de Paris, et deux siecles d'histoire de la science en France :colloque du bicentaire de la Societe Philomatique de Paris Thomas, André | P.U.F. 1990 Nouveau

Avant,avec,apres copernicla representation de l'univers et ses consequences epistemologiques,xxxie semaine de synthese palais de la decouverte et l'institut d'astrophysique paris,1-7 juin,1973 | Librairie A. Blanchard 1975 Nouveau

M.c. escher :proceedings of the international congress on m.c. escher held at rome,italy,26 -28 march,1985 Coxeter, H. S. M. ; Emmer, M. ; Penrose, R. ; Teuber, M. L. | North-Holland 1985 Nouveau

Logic,methodology and philosophy of science viiproceedings of the 7th international congress held at the university of salzburg,austria,july 11-1 6,1983 Dorn, Georg J. W. ; Marcus, Ruth Barcan ; Weingartner, Paul | North-Holland 1986 Nouveau

Science,histoire,societe | Publication I.R.M.A.R. 1985 Nouveau

Filtrer

Type

Domaine

Codes MSC

Documents

Références

Auteurs

Thesaurus

Foundations of mathematics.
Logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday
Cambridge # March 27-29, 2015 Caicedo, Andrés Eduardo ; Cummings, James ; Koellner, Peter ; Larson, Paul B. | American Mathematical Society 2017 Nouveau

Towards new logic and semantics:
Franco-Japanese collaborative lectures on philosophy of logic Benoist, Jocelyn ; Girard, Jean-Yves ; Ogawa, Yoshinori ; Okada, Mitsuhiro | Keio University 2006 Nouveau

Infinity:
new research frontiers.
Based on the conference on new frontiers in research on infinity
San Marino # august 18-20, 2006 Heller, Michael ; Woodin, W. Hugh | Cambridge University Press 2011 Nouveau

Hermann Grassmann.
From past to future: Grassmann's work in context.
Proceedings of the Grassmann bicentennial conference
Potsdam and Szczecin # september 16-19, 2009 Petsche, Hans-Joachim ; Lewis, Albert C. ; Liesen, Jörg ; Russ, Steve | Birkhäuser 2011 Nouveau

Relfections on the foundations of mathematics :
essays in honor of Solomon Feferman#papers from the symposium held at Stanford University#Dec. 11-13. Sieg, Wilfried ; Sommer, Richard ; Talcott, Carolyn | Association for Symbolic Logic;A.K. Peters, Ltd 2002 Nouveau

Truth in mathematics
Lectures given at a conference held in sicily in the memory of dr. r. o. gandy 1919-1995
sept. 13-20 Dales, H. G. ; Oliveri, G. | Clarendon Press 1998 Nouveau

La mémoire des nombres
actes du Xè colloque inter-IREM d'épistémologie et d'histoire des mathématiques
Mai 27-28 | I.R.E.M. 1997 Nouveau

Histoire d'infini
actes du 9ème colloque inter-IREM épistémologie et histoire des mathématiques
Mai 22-23 | I.R.E.M. 1994 Nouveau

Contribution à une approche historique de l'enseignement des mathématiques
actes du 6ème université d'été interdisciplinaire sur l'histoire des mathématiques
Université de Franche- Comté
Juillet 8-13 | I.R.E.M. 1993 Nouveau

Henri Poincaré
science et philosophie Greffe, Jean-Louis ; Heinzmann, Gerhard ; Lorenz, Kuno | Akademie Verlag;Librairie A. Blanchard 1996 Nouveau

Le labyrinthe du continu
colloque de Cerisy au Centre Culturel International
Sept.11-20 Salanskis, Jean-Michel ; Sinaceur,Hourya | Springer-Verlag 1992 Nouveau

La societe philomatique de Paris, et deux siecles d'histoire de la science en France :
colloque du bicentaire de la Societe Philomatique de Paris Thomas, André | P.U.F. 1990 Nouveau

Avant,avec,apres copernic
la representation de l'univers et ses consequences epistemologiques,xxxie semaine de synthese palais de la decouverte et l'institut d'astrophysique paris,1-7 juin,1973 | Librairie A. Blanchard 1975 Nouveau

M.c. escher :
proceedings of the international congress on m.c. escher held at rome,italy,26 -28 march,1985 Coxeter, H. S. M. ; Emmer, M. ; Penrose, R. ; Teuber, M. L. | North-Holland 1985 Nouveau

Logic,methodology and philosophy of science vii
proceedings of the 7th international congress held at the university of salzburg,austria,july 11-1 6,1983 Dorn, Georg J. W. ; Marcus, Ruth Barcan ; Weingartner, Paul | North-Holland 1986 Nouveau