Si vous pensez que la découverte d’un nouveau théorème ressemble à la découverte de l’Amérique ou à celle de l’ADN, c’est que vous croyez à l’existence d’un univers mathématique autonome où figurent les notions mathématiques, celles que nous connaissons et celles que les mathématiciens découvriront un jour.
Au contraire, si vous estimez que le mathématicien invente des théorèmes, vous niez l’existence des objets mathématiques, et vous devez proposer d’autres explications de la création mathématique.
Le débat entre les partisans des deux thèses est au cœur de la réflexion ...
Commentaires (identifiez-vous pour commenter)