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