|
Aide à la recherche | Recherche Avancée | Imprimer la fiche | Aidez-nous à améliorer cette fiche |
|
|
|
Titre : Calculs et formes. De l'activité mathématique.
Editeur : Ellipses Paris, 2003
Collection : IREM - Epistémologie et Histoire des Mathématiques
Format : 16 cm x 24 cm, 221 p. ISBN : 2-7298-1586-4 EAN : 9782729815868 ISSN : 1298-1907
Mathématiques : calculs et formes Toulouse France 2000
Type : actes de colloques, de congrès, de séminaire Langue : Français Support : papier
Public visé : chercheur, enseignant, formateur
Classification : A69Actes de Colloque, rapports et bilans
Formation à l'enseignement, initiale et continue. E29Aspects philosophiques des fondements des mathématiques
Formation à l'enseignement, initiale et continue.
L'activité mathématique relève de la "mise en forme" : représentation, symbolisation, conceptualisation, abstraction, formalisation, modélisation.
Une autre part relève du "calcul" : calcul numérique, algébrique, formel, algorithmique, etc.
L'ouvrage rassemble des textes sur ces thèmes présentés au cours d'un colloque ("Mathématiques : calculs et formes", Université Toulouse Le Mirail, septembre 2000) rassemblant des logiciens, des mathématiciens, de philosophes et épistémologues et des historiens des mathématiques. Ces textes mettent en évidence l'alternance historique (depuis la Chine ancienne jusqu'à nos jours) entre pôle formel et pôle calculatoire. Ces pôles apparaissent parfois étroitement liés, mais le plus souvent en opposition. Tantôt l'un domine, tantôt c'est l'autre qui occupe la première place.
Les formes de calcul prises par les machines sont abordées avec les questions que cela soulève. La conceptualisation est étudiée à travers les travaux de Galois par une réflexion sur le rôle des variables qui apparaissent comme une étape importante vers la formalisation du calcul algébrique.
Des textes font aussi opposition au formalisme et essaient de réhabiliter "l'informel", "l'incertain", "l'intuitif", en s'appuyant sur des logiciens de grand renom comme G. Kreisel et P. Martin-Löf. Un tour d'horizon sur les débats autour de l'"intuitionnisme" est aussi abordé.
Sommaire :
- ...
- René Guitart : Calcul d'assimilations, modalités et analyse d'images, in Calculs et formes
- Alain Michel : Le développement de la théorie des équations algébriques et la conceptualisation du calcul
- ...
- Gabriella Crocco et Eric Audureau : Intuitionnisme et Constructivisme chez Brouwer
- ...
Notes : Attention ! Cette fiche est incomplète, aidez-nous à la compléter. Votre contribution
Mots clés :
|
|