Affichage professionnel: La logique mathématique en France entre les deux guerres mondiales : Quelques repères

$La logique mathématique en France entre les deux guerres mondiales : Quelques repères$

La logique mathématique en France entre les deux guerres mondiales : Quelques repères

RésuméUne première période où les influences mêlées d’Alessandro Padoa et de Bertrand Russell s’exercent en France culmine avec les essais philosophiques de Jean Nicod. Une seconde période voit fleurir les travaux du mathématicien Jacques Herbrand ; avant de périr, il laisse son nom à un théorème fo...

Description complète

Enregistré dans:

Détails bibliographiques
Auteur principal:	Guillaume, Marcel
Format:	Article ou chapitre numérique
Langue:	Français
Publié:	2009
Sujets:	Albert Lautman groupes Jacques Herbrand Jean Nicod logique Marc Krasner Nicolas Bourbaki structures théorie unifiante théories déductives deductive theories groups logic unifying theory
Accès en ligne:	Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM

id	cairn-RHS_621_0177
record_format	cairn
spelling	cairn-RHS_621_0177RHSRevue d'histoire des sciences https://shs.cairn.info/revue-d-histoire-des-sciences-2009-1-page-177?lang=fr https://doi.org/10.3917/rhs.621.0177 La logique mathématique en France entre les deux guerres mondiales : Quelques repères Guillaume, Marcel2009 Albert LautmangroupesJacques HerbrandJean NicodlogiqueMarc KrasnerNicolas Bourbakistructuresthéorie unifiantethéories déductivesAlbert Lautmandeductive theoriesgroupsJacques HerbrandJean NicodlogicMarc KrasnerNicolas Bourbakistructuresunifying theoryfre Revue d'histoire des sciences \| 62 \| 1 \| 2009-06-01 \| p. 177-219 \| 0151-4105 RHS_62138 RésuméUne première période où les influences mêlées d’Alessandro Padoa et de Bertrand Russell s’exercent en France culmine avec les essais philosophiques de Jean Nicod. Une seconde période voit fleurir les travaux du mathématicien Jacques Herbrand ; avant de périr, il laisse son nom à un théorème fondamental. Suit une période de débats entre philosophes, mathématiciens et physiciens, stimulés en 1935 et 1937 par la tenue à Paris de deux congrès consacrés, totalement ou en partie, à la philosophie des sciences. Paulette Février y esquisse une logique non classique où l’on postule l’existence de couples de propositions non composables pour ériger en principes les relations de Werner Heisenberg. Jean-Louis Destouches développe cette conception jusqu’à décrire comment édifier une théorie unifiante. La structuration des êtres mathématiques est l’objet d’études philosophiques d’Albert Lautman. Le rôle putatif de la notion de groupe en logique est interrogé. La notion de structure mathématique est l’objet de deux contributions : Marc Krasner généralise les conceptions d’Évariste Galois, attribuées à la logique et étendues à des langages infinitaires ; Nicolas Bourbaki, compte tenu de l’évolution des mathématiques, qualifie de structure ce que nous appelons aujourd’hui un modèle.The culminating point of a first period under Alessandro Padoa’s and Bertrand Russell’s mixed influences in France lies in Jean Nicod’s philosophical essays. During a second period, Jacques Herbrand’s mathematical work blossoms. Before his early death, he had given his name to a fundamental theorem. Follows a period of debates among philosophers, mathematicians and physicists, stimulated in 1935 and 1937 by two congresses, totally or partially devoted to the philosophy of science, held in Paris. On that occasion, Paulette Février sketched a non-classical logic in which the existence of pairs of propositions that cannot be composed is postulated in order to set up Werner Heisenberg’s relations as principles. These ideas are developed by Jean-Louis Destouches to the point of describing how to build a unifying theory. The structuring of mathematical beings is the subject matter of Albert Lautman’s philosophical studies. The putative role of the notion of group in logic is examined. The notion of mathematical structure gives rise to two contributions : Marc Krasner generalizes Évariste Galois’ ideas, attributed to logic and extended to infinitary languages ; Nicolas Bourbaki, taking into account the evolution of mathematics, designates under the term structure what we now call model.Cairn free access
language	Français
format	Article ou chapitre numérique
building	0/Bibliothèque numérique/ 1/Bibliothèque numérique/Cairn/
topic	Albert Lautman groupes Jacques Herbrand Jean Nicod logique Marc Krasner Nicolas Bourbaki structures théorie unifiante théories déductives Albert Lautman deductive theories groups Jacques Herbrand Jean Nicod logic Marc Krasner Nicolas Bourbaki structures unifying theory
spellingShingle	Albert Lautman groupes Jacques Herbrand Jean Nicod logique Marc Krasner Nicolas Bourbaki structures théorie unifiante théories déductives Albert Lautman deductive theories groups Jacques Herbrand Jean Nicod logic Marc Krasner Nicolas Bourbaki structures unifying theory Guillaume, Marcel La logique mathématique en France entre les deux guerres mondiales : Quelques repères
topic_facet	Albert Lautman groupes Jacques Herbrand Jean Nicod logique Marc Krasner Nicolas Bourbaki structures théorie unifiante théories déductives Albert Lautman deductive theories groups Jacques Herbrand Jean Nicod logic Marc Krasner Nicolas Bourbaki structures unifying theory
description	RésuméUne première période où les influences mêlées d’Alessandro Padoa et de Bertrand Russell s’exercent en France culmine avec les essais philosophiques de Jean Nicod. Une seconde période voit fleurir les travaux du mathématicien Jacques Herbrand ; avant de périr, il laisse son nom à un théorème fondamental. Suit une période de débats entre philosophes, mathématiciens et physiciens, stimulés en 1935 et 1937 par la tenue à Paris de deux congrès consacrés, totalement ou en partie, à la philosophie des sciences. Paulette Février y esquisse une logique non classique où l’on postule l’existence de couples de propositions non composables pour ériger en principes les relations de Werner Heisenberg. Jean-Louis Destouches développe cette conception jusqu’à décrire comment édifier une théorie unifiante. La structuration des êtres mathématiques est l’objet d’études philosophiques d’Albert Lautman. Le rôle putatif de la notion de groupe en logique est interrogé. La notion de structure mathématique est l’objet de deux contributions : Marc Krasner généralise les conceptions d’Évariste Galois, attribuées à la logique et étendues à des langages infinitaires ; Nicolas Bourbaki, compte tenu de l’évolution des mathématiques, qualifie de structure ce que nous appelons aujourd’hui un modèle.
author	Guillaume, Marcel
author_facet	Guillaume, Marcel
author_sort	Guillaume, Marcel
title	La logique mathématique en France entre les deux guerres mondiales : Quelques repères
title_short	La logique mathématique en France entre les deux guerres mondiales : Quelques repères
title_full	La logique mathématique en France entre les deux guerres mondiales : Quelques repères
title_fullStr	La logique mathématique en France entre les deux guerres mondiales : Quelques repères
title_full_unstemmed	La logique mathématique en France entre les deux guerres mondiales : Quelques repères
title_sort	la logique mathématique en france entre les deux guerres mondiales : quelques repères
publishDate	2009
container_title
container_issue
url	https://ezproxy.univ-orleans.fr/login?url=https://shs.cairn.info/revue-d-histoire-des-sciences-2009-1-page-177?lang=fr https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.3917/rhs.621.0177
_version_	1877246641890656256

La logique mathématique en France entre les deux guerres mondiales : Quelques repères

Documents similaires