eduroam-prg-og-1-30-190.net.univ-paris-diderot.fr 2026-1-12:13:44:16

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...)
+
+

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
+>          -
+
+
+
+