Philosophie des mathématiques

Interview: The Hidden Math Behind Everything with Jordan Ellenberg | Particles of Thought

Interview : Les mathématiques cachées derrière tout avec Jordan Ellenberg | Particules de pensée

Pourquoi la vie semble-t-elle avoir été conçue ?

Sir William Timothy Gowers | Towards a database of motivated proofs

Sir William Timothy Gowers | Vers une base de données de démonstrations motivées

LES BRANCHES DES MATHÉMATIQUES ONT-ELLES DES LIMITES ? | Andrew Arana

La déraisonnable efficacité des mathématiques - Conférence d’Hugo Duminil-Copin

Le paradoxe de Zénon expliqué simplement

Sir William Timothy Gowers | How do human mathematicians avoid big searches?

Sir William Timothy Gowers | Comment les mathématiciens humains évitent-ils les grandes recherches ?

4. "Frege in Context" Brandom's 2025 Seminar Week 4: "Grundlagen (1884) II" September 24, 2025

4. "Frege in Context" Séminaire de Brandom 2025 Semaine 4 : "Grundlagen (1884) II" 24 septembre 2025

3. "Frege in Context" Brandom's 2025 Seminar Week 3: "Grundlagen (1884) I" September 17, 2025

3. "Frege in Context" Séminaire de Brandom 2025 Semaine 3 : "Grundlagen (1884) I" 17 septembre 2025

11."Frege in Context" Brandom's 2025 Seminar Week 11: Grundgesetze der Arithmetik , Nov 19, 2025

11."Frege in Context" Séminaire de Brandom 2025 Semaine 11 : Grundgesetze der Arithmetik, 19 novembre 2025

Martin Hairer: Do Mathematicians Need Computers?

Martin Hairer : Les mathématiciens ont-ils besoin d'ordinateurs ?

Est-il possible d'être objectif en mathématiques ?

Higher-Dimensional Beings Are Staring at Us Outside Space-Time | Mathematical Realm

Des êtres de dimensions supérieures nous fixent depuis l'extérieur de l'espace-temps | Royaume mathématique

What is Formalisation?

Qu'est-ce que la formalisation ?

The long view

La vision à long terme

Why three ways of doing mathematics became rival philosophies

Pourquoi trois façons de faire des mathématiques sont devenues des philosophies rivales

Geometrized arithmetic and the unity of mathematics

Arithmétique géométrisée et l'unité des mathématiques

Methodological frames: mathematical structuralism and proof theory

Cadres méthodologiques : structuralisme mathématique et théorie de la preuve

Michael Rathjen: Hilbert’s program and (semi) Intuitionism

Michael Rathjen: Le programme de Hilbert et le (semi) intuitionnisme

Stanislaw Krajewski: Can our understanding of numbers be programmed into a computer?

Stanislaw Krajewski : Notre compréhension des nombres peut-elle être programmée dans un ordinateur ?

Balthasar Grabmayr：A Step Towards Absolute Versions of Metamathematical Results

Balthasar Grabmayr : Un pas vers des versions absolues de résultats métamathématiques

Zeno's Paradoxes and Mathematics - Ep. 3.8: Zeno's paradoxes and non standard analysis

Les paradoxes de Zénon et les mathématiques - Ép. 3.8 : Les paradoxes de Zénon et l'analyse non standard

Gödel's incompleteness theorems - Ep. 6.1: Russell's Logicism

Les théorèmes d'incomplétude de Gödel - Ép. 6.1 : Le logicisme de Russell

Zeno's Paradoxes and Mathematics - Ep. 3.7: The instant of change

Les paradoxes de Zénon et les mathématiques - Ep. 3.7 : L'instant du changement

Zeno's Paradoxes and Mathematics - Ep. 3.4: The Russellian account of motion

Les paradoxes de Zénon et les mathématiques - Ép. 3.4 : Le compte rendu russellien du mouvement

Zeno's Paradoxes and Mathematics - Ep. 3.3: Why infinitesimals were banished from mathematics

Les paradoxes de Zénon et les mathématiques - Ep. 3.3 : Pourquoi les infinitésimaux ont été bannis des mathématiques

Zeno's Paradoxes and Mathematics - Ep. 3.2: What is an infinitesimal?

Les paradoxes de Zénon et les mathématiques - Ép. 3.2 : Qu'est-ce qu'un infinitésimal ?

Zeno's Paradoxes and Mathematics - Ep. 3.1: Zeno's paradoxes

Les paradoxes de Zénon et les mathématiques - Ep. 3.1 : Les paradoxes de Zénon

Convergence Public Lecture: Emmy Noether: Her Life, Work, and Influence

Convergence Public Lecture: Emmy Noether: Sa vie, son œuvre et son influence