De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege

De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege

Le but de cet article est d’étudier la référence à l’espace et au temps dans le problème du fondement des mathématiques, au cours de la période 1880-1935. Après avoir évoqué la problématique kantienne, qui reste présente dans la controverse entre Brouwer et Hilbert, nous discutons de la référence au...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Cassou-Noguès, Pierre
التنسيق: Article ou chapitre numérique
اللغة:Français
منشور في: 2005
الوصول للمادة أونلاين:Accès Université d'Orléans et IFPM
Accès Université d'Orléans et IFPM
id cairn-SCIE_092_0013
record_format cairn
spelling cairn-SCIE_092_0013SCIEPhilosophia Scientiæ https://shs.cairn.info/revue-philosophia-scientiae-2005-2-page- ?lang=fr https://doi.org/10.4000/philosophiascientiae.538 De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege Cassou-Noguès, Pierre2005 fre Philosophia Scientiæ | 9-2 | 2 | 2005-11-01 | p. - | 1281-2463 SCIE_0928 Le but de cet article est d’étudier la référence à l’espace et au temps dans le problème du fondement des mathématiques, au cours de la période 1880-1935. Après avoir évoqué la problématique kantienne, qui reste présente dans la controverse entre Brouwer et Hilbert, nous discutons de la référence au temps dans l’intuitionisme et dans le programme formaliste pour montrer comment, dans les deux cas mais de façon différente, la référence au temps introduit des restrictions sur ce qui peut être considéré comme une démonstration mathématique. Nous évoquons ensuite trois tentatives, Frege, le Hilbert d’avant le programme formaliste et Gentzen, pour éliminer la référence au temps et ne fonder les mathématiques que sur l’intuition de l’espace.The aim of this paper is to analyse the reference to space and time in the foundation of mathematics. First, we describe the reference to time in Brouwer’s intuitionism and in Hilbert’s formalism in order to show that the reference to time leads to different restrictions on what can be considered a mathematical proof. We then study three attempts, by Frege, by Hilbert around 1900, by Gentzen, to eliminate the reference to time and ground mathematics on the intuition of space.Cairn free access
language Français
format Article ou chapitre numérique
building 0/Bibliothèque numérique/
1/Bibliothèque numérique/Cairn/
description Le but de cet article est d’étudier la référence à l’espace et au temps dans le problème du fondement des mathématiques, au cours de la période 1880-1935. Après avoir évoqué la problématique kantienne, qui reste présente dans la controverse entre Brouwer et Hilbert, nous discutons de la référence au temps dans l’intuitionisme et dans le programme formaliste pour montrer comment, dans les deux cas mais de façon différente, la référence au temps introduit des restrictions sur ce qui peut être considéré comme une démonstration mathématique. Nous évoquons ensuite trois tentatives, Frege, le Hilbert d’avant le programme formaliste et Gentzen, pour éliminer la référence au temps et ne fonder les mathématiques que sur l’intuition de l’espace.
author Cassou-Noguès, Pierre
spellingShingle Cassou-Noguès, Pierre
De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
author_facet Cassou-Noguès, Pierre
author_sort Cassou-Noguès, Pierre
title De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
title_short De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
title_full De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
title_fullStr De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
title_full_unstemmed De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
title_sort de kant à gentzen, en passant par brouwer, hilbert et frege
publishDate 2005
container_title
container_issue
url https://ezproxy.univ-orleans.fr/login?url=https://shs.cairn.info/revue-philosophia-scientiae-2005-2-page- ?lang=fr
https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.4000/philosophiascientiae.538
_version_ 1877246818755018752

مواد مشابهة