La physique dans la recherche en mathématiques constructives

Philosophia Scientiae 16:183-208 (2012)
  Copy   BIBTEX

Abstract

Je propose d’analyser une pratique de la recherche en mathématiques constructives, celle qui consiste à reformuler constructivement les théories physiques. Je discute plus précisément trois aspects de cette pratique. Je montre d’abord que celle-ci a la particularité d’être motivée par des considérations philosophiques et comment la physique est utilisée pour arbitrer un débat de philosophie des mathématiques entre constructivisme et classicisme. Ensuite, j’identifie la méthodologie de la recherche en mathématiques que cette pratique implique et montre qu’il s’agit, selon une terminologie empruntée à Poincaré, d’une méthodologie de « logiciens ». Enfin, je montre que dans cette pratique, les théories physiques ont un rôle heuristique sur le développement des mathématiques constructives. Elles permettent avec succès de stimuler la recherche d’énoncés constructifs et d’orienter la recherche en mathématiques constructives vers de nouveaux domaines.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,623

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2016-02-04

Downloads
21 (#745,623)

6 months
7 (#624,553)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vincent Ardourel
Centre National de la Recherche Scientifique

References found in this work

A constructivist perspective on physics.Peter Fletcher - 2002 - Philosophia Mathematica 10 (1):26-42.
Science and constructive mathematics.J. R. Brown - 2003 - Analysis 63 (1):48-51.

Add more references