الصفحة 1
الصفحة 1
Notes on Set Theory
This is introduction to axiomatic set theory, viewed both as a foundation of mathematics and as a branch of mathematics with its own subject matter, basic results, open problems.
Guida alla teoria degli insiemi = Guide to set theory
Teachers are in difficulty with regard to the space and emphasis to be given to set theory topics, in their preparation and in their work, because they have not been provided with adequate knowledge at the university. It is safe to say, on the basis of much experience, that the average mathematician, even the researcher, does not know what set theory is. Two prejudices stand in the way of a good knowledge of the theory: one, of a minimalist type, is its identification with an unspecified "set theory", an austere language that is too demanding if one wants to impose it prematurely; the other is of a maximalist type and consists in the supposed and effective link with the more subtle questions of the foundations of mathematics. But the theory has an important mathematical content, and with many implications of didactic interest.
Foundation Mathematics for Computer Science : A Visual Approach
In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book and written new chapters on combinatorics, probability, modular arithmetic and complex numbers. These subjects complement the existing chapters on number systems, algebra, logic, trigonometry, coordinate systems, determinants, vectors, matrices, geometric matrix transforms, differential and integral calculus. During this journey, the author touches upon more esoteric topics such as quaternions, octonions, Grassmann algebra, Barrycentric coordinates, transfinite sets and prime numbers.
Labyrinth of Thought : A History of Set Theory and Its Role in Modern Mathematics
Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period 1850-1940. Rather than focusing on the pivotal figure of Georg Cantor, it analyzes his work and the emergence of transfinite set theory within the broader context of the rise of modern mathematics. The text has a tripartite structure.A new Epilogue for this second edition offers further reflections on the foundations of set theory, including the "dichotomy conception" and the well-known iterative conception.
Categories and Sheaves
This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, and continues with full proofs to an exposition of the most recent results in the literature, and sometimes beyond.The authors present the general theory of categories and functors, emphasising inductive and projective limits, tensor categories, representable functors, ind-objects and localization. Then they study homological algebra including additive, abelian, triangulated categories and also unbounded derived categories using transfinite induction and accessible objects. Finally, sheaf theory as well as twisted sheaves and stacks appear in the framework of Grothendieck topologies.
