Foundations of mathematics for the working mathematician

DOI10.2307/2268971zbMath0034.00105OpenAlexW2036321241MaRDI QIDQ5791195

N. Bourbaki

Publication date: 1949

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268971

zbMATH Keywords

logicfoundations of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (16)

Equivalences induced by infinitely generated silting modules ⋮ Unordered pairs in the set theory of Bourbaki 1949 ⋮ Lagrangian formalism over graded algebras ⋮ Top-down and bottom-up philosophy of mathematics ⋮ On the formal definition of categories ⋮ Polycephalic Euclid? Collective Practices in Bourbaki’s History of Mathematics ⋮ Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). ⋮ Nicolas Bourbaki and the concept of mathematical structure ⋮ The ignorance of Bourbaki ⋮ On Bourbaki's axiomatic system for set theory ⋮ Diagrams in mathematics ⋮ Mathias and set theory ⋮ The happy formalist ⋮ Fuzzy localized subrings ⋮ The structuralist mathematical style: Bourbaki as a case study ⋮ Models and modelling in computer science

This page was built for publication: Foundations of mathematics for the working mathematician