From 67b54a3b024454633c6370bcca81eab9b6eafe45 Mon Sep 17 00:00:00 2001 From: oskar Date: Mon, 12 Jan 2026 13:44:16 +0100 Subject: [PATCH] eduroam-prg-og-1-30-190.net.univ-paris-diderot.fr 2026-1-12:13:44:16 --- ...S . mathématiques pour non spécialistes.md | 6 ++++++ M1 LOGOS . philosophie des mathématiques.md | 20 +++++++++++++++++++ 2 files changed, 26 insertions(+) create mode 100644 M1 LOGOS . philosophie des mathématiques.md diff --git a/M1 LOGOS . mathématiques pour non spécialistes.md b/M1 LOGOS . mathématiques pour non spécialistes.md index 39124847..b1839fee 100644 --- a/M1 LOGOS . mathématiques pour non spécialistes.md +++ b/M1 LOGOS . mathématiques pour non spécialistes.md @@ -14,3 +14,9 @@ aliases: - introduction à la notation mathématique ensembliste - $a \in E, \mathscr{P}(E), A \subseteq E, \forall x \in A\, x \in E$ - [[entiers de von Neumann]] + + - topologie + - [[boule ouverte]] + - ! [[voisinage]] défini comme le fait de contenir une boule ouverte (de même centre que...) + + diff --git a/M1 LOGOS . philosophie des mathématiques.md b/M1 LOGOS . philosophie des mathématiques.md new file mode 100644 index 00000000..ef2ede0c --- /dev/null +++ b/M1 LOGOS . philosophie des mathématiques.md @@ -0,0 +1,20 @@ +--- +up: + - "[[M1 LOGOS]]" +tags: + - s/philosphie + - s/maths +aliases: +--- + +> [!info] objet +> - questions sur la prétention de la métaphysique à traiter de "toutes les choses" +> - par vraiment un cours de philosophie *sur les mathématiques*, mais plutôt une "philosophie mathématique" +> - logique (surtout pour la question de la généralité) +> - pourquoi partir d'une question philosophique +> - les mathématiques ne présentent pas d'enjeu philosophique en elles-mêmes +> - + + + +