English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Le but de cet article est d'etudier la reference a l'espace et au temps dans le probleme du fondement des mathematiques, au cours de la periode 1880-1935. Apres avoir evoque la problematique kantienne, qui reste presente dans la controverse entre Brouwer et Hilbert, nous discutons de la reference au temps dans l'intuitionisme et dans le programme formaliste pour montrer comment, dans les deux cas mais de facon differente, la reference au temps introduit des restrictions sur ce qui peut etre considere comme une demonstration mathematique. Nous evoquons ensuite trois tentatives, Frege, le Hilbert d'avant le programme formaliste et Gentzen, pour eliminer la reference au temps et ne fonder les mathematiques que sur l'intuition de l'espace.

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