Sets, Logic and Categories
Sets, Logic and Categories Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Godel's…
Specifikacia Sets, Logic and Categories
Sets, Logic and Categories
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Godel's Theorem, and the Skolem Paradox. The book is aimed at those who know some mathematics and want to know more about its building blocks. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories.
The discussion is su pported by a wide range of exercises. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The final chapter touches on philosophical issues.
The book is supported by a World Wibe Web site containing a variety of supplementary
Logic, Language and Meaning
Logic and Contemporary Rhetoric
Language, Truth and Logic