Sets, Logic and Categories

Sets, Logic and Categories
Author: Peter J. Cameron
Publisher: Springer Science & Business Media
Total Pages: 191
Release: 2012-12-06
Genre: Mathematics
ISBN: 1447105893


Download Sets, Logic and Categories Book in PDF, Epub and Kindle

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, Gödel's Theorem, and the Skolem Paradox. 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 book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The discussion is su pported by a wide range of exercises. The final chapter touches on philosophical issues. The book is supported by a World Wibe Web site containing a variety of supplementary material.


Sets, Logic and Categories
Language: en
Pages: 191
Authors: Peter J. Cameron
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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 Choi
Set Theory and Logic
Language: en
Pages: 512
Authors: Robert R. Stoll
Categories: Mathematics
Type: BOOK - Published: 2012-05-23 - Publisher: Courier Corporation

GET EBOOK

Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathema
Elements of Logic via Numbers and Sets
Language: en
Pages: 179
Authors: D.L. Johnson
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logi
Linear Representations of Partially Ordered Sets and Vector Space Categories
Language: en
Pages: 516
Authors: Daniel Simson
Categories: Mathematics
Type: BOOK - Published: 1993-01-01 - Publisher: CRC Press

GET EBOOK

This volume provides an elementary yet comprehensive introduction to representations of partially ordered sets and bimodule matrix problems, and their use in re
An Introduction to the Language of Category Theory
Language: en
Pages: 169
Authors: Steven Roman
Categories: Mathematics
Type: BOOK - Published: 2017-01-05 - Publisher: Birkhäuser

GET EBOOK

This textbook provides an introduction to elementary category theory, with the aim of making what can be a confusing and sometimes overwhelming subject more acc