Sets, Logic and Categories

Sets, Logic and Categories
Author :
Publisher : Springer Science & Business Media
Total Pages : 196
Release :
ISBN-10 : 1852330562
ISBN-13 : 9781852330569
Rating : 4/5 (569 Downloads)

Book Synopsis Sets, Logic and Categories by : Peter J. Cameron

Download or read book Sets, Logic and Categories written by Peter J. Cameron and published by Springer Science & Business Media. This book was released on 1999-01-22 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Sets, Logic and Categories
Language: en
Pages: 196
Authors: Peter J. Cameron
Categories: Mathematics
Type: BOOK - Published: 1999-01-22 - Publisher: Springer Science & Business Media

DOWNLOAD 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
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

DOWNLOAD EBOOK

This volume provides an elementary yet comprehensive introduction to representations of partially ordered sets and bimodule matrix problems, and their use in re
Basic Category Theory
Language: en
Pages: 193
Authors: Tom Leinster
Categories: Mathematics
Type: BOOK - Published: 2014-07-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A short introduction ideal for students learning category theory for the first time.
Sets for Mathematics
Language: en
Pages: 280
Authors: F. William Lawvere
Categories: Mathematics
Type: BOOK - Published: 2003-01-27 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.
Set Theory, Logic and Their Limitations
Language: en
Pages: 304
Authors: Moshe Machover
Categories: Mathematics
Type: BOOK - Published: 1996-05-23 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A