axioms for toposes generalizing the concept of the Grothendieck topos (see history of topos theory) and worked with the algebraic topologist Myles Tierney...
21 KB (2,470 words) - 15:43, 21 August 2024
arguments. Category theorists have proposed topos theory as an alternative to traditional axiomatic set theory. Topos theory can interpret various alternatives...
41 KB (5,016 words) - 11:36, 2 September 2024
forcefully expressed by David Hilbert in 1928, when he wrote in Grundlagen der Mathematik, "Taking the principle of excluded middle from the mathematician would...
19 KB (2,577 words) - 02:49, 4 August 2024
Scharlau, Winfried (2007), Wer ist Alexander Grothendieck?: Anarchie, Mathematik, Spiritualität First part of planned four-volume biography. Scharlau,...
77 KB (8,301 words) - 17:56, 2 September 2024
der Schönen Künste in Moskau. Quellen und Studien zur Geschichte der Mathematik; Abteilung A: Quellen 1. Berlin: J. Springer Van der Waerden, B.L. 1961...
25 KB (2,915 words) - 11:05, 8 July 2024
Google Books) Skolem, Thoralf (1929), "Über einige Grundlagenfragen der Mathematik", Skrifter Utgitt av Det Norske Videnskaps-Akademi I Oslo, I....
22 KB (2,795 words) - 03:11, 27 August 2024
Mayer, Walther (1929), "Über abstrakte Topologie", Monatshefte für Mathematik, 36 (1): 1–42, doi:10.1007/BF02307601, ISSN 0026-9255, S2CID 120803366...
26 KB (3,768 words) - 02:49, 19 August 2024
Ruffini" [The beginnings of group theory and Paolo Ruffini]. Zeitschrift für Mathematik und Physik (in German). 37 (Supplement): 119–159. See: Lagrange (1770)...
31 KB (3,565 words) - 17:20, 17 November 2023
from the 1987 French original. Revised by the authors. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]...
26 KB (3,213 words) - 07:56, 3 May 2024
Excluded Middle". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 24: 461. doi:10.1002/malq.19780242514. E. Bishop, Foundations of constructive...
11 KB (1,904 words) - 19:22, 21 August 2024