De la méthode.
Recherches en histoire et philosophie des mathématiques. 2e édition, revue et augmentée.
Auteur : Serfati Michel. Dir.
Résumé
Cet ouvrage est une édition revue et corrigée de l’édition de 2002. Il rassemble quatorze articles d’histoire et philosophie des mathématiques, provenant de communications au séminaire d’épistémologie de l’IREM de Paris7, ainsi qu’à un colloque de philosophie des mathématiques organisé par ce même institut tous deux dirigés par Michel Serfati. Il privilégie les questions d’histoire des idées et d’épistémologie par rapport à des descriptions purement historiques, avec pour objectif de mettre en lumière certaines des facettes diverses qui concourent à organiser en mathématiques ce qu’on appelle communément depuis Descartes la méthode…
Sommaire :
I. Michel Serfati : Sur la philosophie des méthodes en mathématiques (Introduction au volume)
La force de la méthode
II. Michel Serfati : Le développement de la pensée mathématique du jeune Descartes (L’éveil d’un mathématicien)
III. Michel Serfati : Sur diverses fonctions des compas cartésiens On various functions of cartesian compasses (Première note)
IV. Michel Serfati : « Règle-glissière cartésienne » et transformée de Descartes Descartes’ruler-and-slide, and transformation (Deuxième note)
V. Michel Serfati : Sur la « construction » des équations des troisième et quatrième degrés et des moyennes proportionnelles chez Descartes. The « construction » of equations of the third and fourth degrees and proportional means in Descartes (Troisième note)
Bibliographie cartésienne. (Articles II, III, IV, V)
VI. Adrien Douady : Géométrie dans les espaces de paramètres Une méthode de géométrisation
VII. Rémi Langevin : Gaspard Monge, de la planche à dessin aux lignes de courbure
VIII. André Revuz : Y a-t-il une méthode mathématique ?
IX. Olivier Hudry : Machines de Turing et complexité algorithmique
X. Ivor Grattan-Guinness (Traduction Anne Michel-Pajus) : La psychologie dans les fondements de la Logique et des mathématiques. Les cas de Boole, Cantor et Brouwer
L’existence en mathématiques
XI. Alain Michel : Thèses d’existence et travail mathématique
XII. Michel Serfati : Analogies et « prolongements » (Permanence des formes symboliques et constitution d’objets mathématiques)
XIII. Michel Bitbol : Critères d’existence et preuves d’existence
XIV. Michel Mosconi : Quelques difficultés du structuralisme mathématique
Données de publication
Éditeur Presses universitaires de Franche-Comté (PuFC) Besançon , 2011 Collection Colloques et séminaires Format 16 cm x 22 cm, 356 p. Index Notes bibliogr., Index p 349-356
ISBN 2-84867-324-9 EAN 9782848673240 ISSN 1634-9784
Public visé chercheur, enseignant, formateur
Type ouvrage (au sens classique de l’édition) Langue anglais, français, multilingue Support papier
Classification
Mots-clés
- abstraction mathématique
- algèbre de Post
- application de Gauss
- arête de rebroussement
- binôme de Newton
- Boole George
- borne supérieure
- Brouwer Luitzen Egbertus Jan
- calcul infinitésimal
- Cantor Georg
- carte géographique
- cercle
- classe de complexité NP
- classe de complexité P
- codage informatique
- compas cartésien
- complexité d'un exercice
- concept d'infini
- concept de grandeur
- cône tangent
- conique
- construction axiomatique
- construction géométrique
- coupure de Dedekind
- courbe quartique
- courbure de Gauss
- courbures d'une surface
- Dedekind Richard
- démarche scientifique
- dérivation
- dérivée partielle
- Descartes René
- développement en série de Taylor
- distribution – fonction –
- écriture symbolique
- écritures d'un nombre complexe
- empirisme – philosophie –
- enseignement des mathématiques
- épistémologie des mathématiques
- équation algébrique
- équation d'un plan
- équation du troisième degré
- équation polaire d'une courbe
- équation quartique
- espace de paramètres
- existence – logique –
- existence – philosophie –
- exposant fractionnaire
- famille de courbes
- fonction de deux variables
- fonction exponentielle complexe
- fonction factorielle
- fonction gamma
- fonction logarithme
- géométrie descriptive
- géométrisation
- histoire de la géométrie
- histoire des équations
- histoire des mathématiques
- homéomorphisme
- imagination mathématique
- intersection de cercles
- intuitionnisme – philosophie –
- Kronecker Leopold
- Leibniz Gottfried
- lemme de croisement
- limite d'une fonction
- logique booléenne
- logique et psychologie
- machine de Turing
- mathématiques au 17e siècle
- mathématiques au 19e siècle
- mathématiques au 20e siècle
- mathématiques et artillerie
- mathématiques et informatique
- mathématiques et réalité
- mathématiques intuitionnistes
- matrice inverse
- mécanique quantique
- méthode axiomatique
- méthode mathématique
- modèle mathématique
- Monge Gaspard
- moyenne géométrique
- nombre imaginaire
- nombre réel
- objet mathématique
- opérateur booléen
- optimisation combinatoire
- ordinal transfini
- parabole
- paraboloïde
- Peano Giuseppe
- philosophie des mathématiques
- philosophie des sciences
- platonisme
- polynôme du quatrième degré
- principe de prolongement
- principe de transfert
- principe du tiers exclu
- problème de la décision
- problème mathématique
- problème NP-complet
- projection
- quantification – logique –
- raisonnement déductif
- réalisme – philosophie –
- règle-glissière
- rigueur mathématique
- ruban de Moebius
- section plane d'un cône
- situation mathématique
- stéréotomie
- structuralisme mathématique
- surface développable
- système de Boole
- théorie de la calculabilité
- théorie de la complexité
- théorie des ensembles
- thèse de Church
- topologie
- transformée de Descartes
- Turing Alan
- variable booléenne
- Wittgenstein Ludwig