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 : 374

Une deuxième révolution galiléenne ? Dowek, Gilles | CIRM H 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

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

Theory change,ancient axiomatics,and Galileo's methodology. Vol. 1proceedings of a conference on the history and philosophy of science held in pisa,italy,sept. 4-8,1978 Agazzi, Evandro ; Gruender, David ; Hintikka, Jaakko | D. Reidel Publisher Co. 1981 Nouveau

The study of time IVpapers from the fourth conference of the international society for the study of time held at Alpbach,Austria, 1979 Fraser, J. T. ; Lawrence, N. ; Park, D. | Springer-Verlag 1981 Nouveau

The study of time iiiproceedings of the third conference of the international society for.. held at alpbach,austria July 1-10 Fraser, J. T. ; Lawrence, N. ; Park, D. | Springer-Verlag 1978 Nouveau

The study of time iiproceedings of the second conference of the international society for... held at hotel mt. fuji near the lake of yamanaka,japan,july 1-7,1973 Fraser, J. T. ; Lawrence, N. | Springer-Verlag 1975 Nouveau

Seminaire d'histoire des mathematiques annee 1982 | U.E.R. De Mathematiques Et Informatique;Universite De Rennes I 1982 Nouveau

Science,histoire,societe | Publication I.R.M.A.R. 1985 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

psychology of mathematics edution. Vol. 1actes du cinquième colloque du groupe internationalJuillet 13-18 | Laboratoire I.M.A.G. 1981 Nouveau

psychology of mathematics education. Vol. 2actes du cinquième colloque du groupe internationalJuille 13-18 | Laboratoire I.M.A.G. 1981 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

Logic, methodology and philosophy of science VIproceedings of the 6th international congress of... held at the University of HannoverR.F.A.Aug. 22-27 Cohen, L. J. ; Los, J. ; Pfeiffer, H. ; Podewski, K. P. | North-Holland Publishing Co.;Pwn 1982 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

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

Filtrer

Type

Domaine

Codes MSC

Documents

Références

Auteurs

Thesaurus

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

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

Theory change,ancient axiomatics,and Galileo's methodology. Vol. 1
proceedings of a conference on the history and philosophy of science held in pisa,italy,sept. 4-8,1978 Agazzi, Evandro ; Gruender, David ; Hintikka, Jaakko | D. Reidel Publisher Co. 1981 Nouveau

The study of time IV
papers from the fourth conference of the international society for the study of time held at Alpbach,Austria, 1979 Fraser, J. T. ; Lawrence, N. ; Park, D. | Springer-Verlag 1981 Nouveau

The study of time iii
proceedings of the third conference of the international society for.. held at alpbach,austria
July 1-10 Fraser, J. T. ; Lawrence, N. ; Park, D. | Springer-Verlag 1978 Nouveau

The study of time ii
proceedings of the second conference of the international society for... held at hotel mt. fuji near the lake of yamanaka,japan,july 1-7,1973 Fraser, J. T. ; Lawrence, N. | Springer-Verlag 1975 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

psychology of mathematics edution. Vol. 1
actes du cinquième colloque du groupe international
Juillet 13-18 | Laboratoire I.M.A.G. 1981 Nouveau

psychology of mathematics education. Vol. 2
actes du cinquième colloque du groupe international
Juille 13-18 | Laboratoire I.M.A.G. 1981 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

Logic, methodology and philosophy of science VI
proceedings of the 6th international congress of... held at the University of Hannover
R.F.A.
Aug. 22-27 Cohen, L. J. ; Los, J. ; Pfeiffer, H. ; Podewski, K. P. | North-Holland Publishing Co.;Pwn 1982 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

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