This paper looks at how the idea of pointless topology itself evolved during its pre-localic phase by analyzing the definitions of the concept of topological space of Menger and Nöbeling. Menger put forward a topology of lumps in order to generalize the definition of the real line. As to Nöbeling, he developed an abstract theory of posets so that a topological space becomes a particular case of topological poset. The analysis emphasizes two points. First, Menger's geometrical perspective was superseded by (...) an algebraic one, a lattice-theoretical one to be precise. Second, Menger's bottom–up approach was replaced by a top–down one. (shrink)

Dans sa thèse complémentaire intitulée « Essai sur l’unité des sciences mathématiques dans leur développement actuel » Albert Lautman analysa la question de l’unité des mathématiques en considérant différentes paires antithétiques de concepts mathématiques, notamment le continu et le discret. Dans le cadre de sa refonte de la géométrie algébrique abstraite, le mathématicien français Alexandre Grothendieck considéra également l’opposition traditionnelle du continu et du discret selon un cadre conceptuel fort similaire à celui de Lautman. En comparaison, l’introduction du concept de (...) topos lui permit de donner une réponse strictement mathématique et parfaitement claire à cette question.Albert Lautman’s complementary thesis, entitled “Essai sur l’unité des sciences mathématiques dans leur développement actuel”, analysed the unity of mathematics through various antithetical pairs of mathematical concepts such as the continuous and the discrete. As part of his renewal of abstract algebraic geometry, French mathematician Alexandre Grothendieck also considered the traditional opposition between the continuous and the discrete and adopted a conceptual framework very similar to that of Lautman. However, the topos concept allowed Grothendieck to come up with a purely mathematical and, in comparison, much clearer solution. (shrink)