Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

J bouveresse mathematiques et logique chez leibniz

M JACQUES BOUVERESSE Mathématiques et logique chez Leibniz Mathematics and logic in Leibniz In Revue d'histoire des sciences Tome n pp - Résumé RÉSUMÉ ?? II est bien connu que Kurt G? del a entretenu des relations intimes et privilégiées avec l' ?uvre de Leibniz et s'est inspiré du projet leibnizien pour développer sa propre conception du rôle de la logique en général des relations des mathématiques et de la logique et de la place qui doit être reconnue dans la recherche mathématique elle-même à la question des fondements et aux questions fondamentales en général Partant de la façon dont elles ont été interprétées et utilisées par G? del l'article s'interroge sur ce qui pour le logicien d'aujourd'hui rend si modernes et si actuelles les idées de Leibniz concernant la démonstration et la démontrabilité la formalisation et la mécanisation du raisonnement mathématique le problème de la décision etc et sur les raisons pour lesquelles il ne semble pas du tout inquiété par l'idée que le formalisme pourrait constituer une menace pour la liberté de l'imagination et de l'invention mathématiques Abstract SUMMARY ?? It is a well-known fact that G? del kept up a close contact with the work of Leibniz and found in the Leibnizian project inspiration for the development of his own conception concerning the role of logic in general the relations between mathematics and logic and the place which should be given within mathematical research itself to questions of foundations and to fundamental questions in general Starting from the manner in which they are interpreted and used by G? del this paper re ects on what renders so modern for the contemporary logician Leibniz's ideas concerning proof and provability the formalization and mechanization of mathematical reasoning the decision problem etc I likewise examine the reasons why he was not deterred by the possibility that formalism might seem to threaten mathematical imagination and invention Citer ce document Cite this document BOUVERESSE JACQUES Mathématiques et logique chez Leibniz Mathematics and logic in Leibniz In Revue d'histoire des sciences Tome n pp - doi rhs http www persee fr web revues home prescript article rhs - num CMathématiques et logique chez Leibniz Jacques Bouveresse RÉSUMÉ ?? II est bien connu que Kurt Gôdel a entretenu des relations int imes et privilégiées avec l' ?uvre de Leibniz et s'est inspiré du projet leibnizien pour développer sa propre conception du rôle de la logique en général des relations des mathématiques et de la logique et de la place qui doit être reconnue dans la recherche mathématique elle-même à la question des fondements et aux questions fondamentales en général Partant de la façon dont elles ont été interprétées et uti lisées par Gôdel l'article s'interroge sur ce qui pour le logicien d'aujourd'hui rend si modernes et si actuelles les idées de Leibniz concernant la démonstration et la démontrabilité la formalisation et la mécanisation du raisonnement mathémat iquele problème de la décision etc et sur les raisons pour lesquelles il ne semble pas du tout