Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Author: George Tourlakis

Publisher: Cambridge University Press

ISBN: 9781139439428

Category: Mathematics

Page: N.A

View: 1255

DOWNLOAD NOW »

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
Release

Lectures in Logic and Set Theory: Volume 2, Set Theory

Author: George Tourlakis

Publisher: Cambridge University Press

ISBN: 9781139439435

Category: Mathematics

Page: N.A

View: 2226

DOWNLOAD NOW »

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
Release

Logic Colloquium 2006

Author: S. Barry Cooper

Publisher: Cambridge University Press

ISBN: 0521110815

Category: Mathematics

Page: 373

View: 2512

DOWNLOAD NOW »

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.
Release

Fundamentals of Set and Number Theory

Author: Valeriy K. Zakharov,Timofey V. Rodionov

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110550946

Category: Mathematics

Page: 446

View: 3962

DOWNLOAD NOW »

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functions were expounded as the fundamental parts of mathematics in such a way that there was no need for references to other sources. Along the lines of Hausdorff’s initial work (1st ed., 1914), measure and integration theory is also included here as the third fundamental part of contemporary mathematics.The material about sets and numbers is placed in Volume 1 and the material about functions and measures is placed in Volume 2. Contents Fundamentals of the theory of classes, sets, and numbers Characterization of all natural models of Neumann – Bernays – Godel and Zermelo – Fraenkel set theories Local theory of sets as a foundation for category theory and its connection with the Zermelo – Fraenkel set theory Compactness theorem for generalized second-order language
Release

Fundamentals of Functions and Measure Theory

Author: Valeriy K. Zakharov,Timofey V. Rodionov,Alexander V. Mikhalev

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110550962

Category: Mathematics

Page: 478

View: 9909

DOWNLOAD NOW »

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functions were expounded as the fundamental parts of mathematics in such a way that there was no need for references to other sources. Along the lines of Hausdorff’s initial work (1st ed., 1914), measure and integration theory is also included here as the third fundamental part of contemporary mathematics. The material about sets and numbers is placed in Volume 1 and the material about functions and measures is placed in Volume 2. Contents Historical foreword on the centenary after Felix Hausdorff’s classic Set Theory Fundamentals of the theory of functions Fundamentals of the measure theory Historical notes on the Riesz – Radon – Frechet problem of characterization of Radon integrals as linear functionals
Release

Logic Colloquium 2000

Author: René Cori,Alexander Razborov,Stevo Todorčević,Carol Wood

Publisher: Cambridge University Press

ISBN: 1108756034

Category: Mathematics

Page: N.A

View: 435

DOWNLOAD NOW »

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the nineteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Paris, France in July 2000. This meeting marked the centennial anniversary of Hilbert's famous lecture and was held in the same hall at La Sorbonne where Hilbert presented his problems. Three long articles, based on tutorials given at the meeting, present accessible expositions of developing research in model theory, computability, and set theory. The eleven subsequent papers present work from the research frontier in all areas of mathematical logic.
Release

Landmark Writings in Western Mathematics 1640-1940

Author: Ivor Grattan-Guinness

Publisher: Elsevier

ISBN: 9780080457444

Category: Mathematics

Page: 1040

View: 8342

DOWNLOAD NOW »

This book contains around 80 articles on major writings in mathematics published between 1640 and 1940. All aspects of mathematics are covered: pure and applied, probability and statistics, foundations and philosophy. Sometimes two writings from the same period and the same subject are taken together. The biography of the author(s) is recorded, and the circumstances of the preparation of the writing are given. When the writing is of some lengths an analytical table of its contents is supplied. The contents of the writing is reviewed, and its impact described, at least for the immediate decades. Each article ends with a bibliography of primary and secondary items. First book of its kind Covers the period 1640-1940 of massive development in mathematics Describes many of the main writings of mathematics Articles written by specialists in their field
Release

Deleuze and the History of Mathematics

In Defense of the 'New'

Author: Simon Duffy

Publisher: Bloomsbury Publishing

ISBN: 1441179208

Category: Philosophy

Page: 208

View: 1898

DOWNLOAD NOW »

Gilles Deleuze's engagements with mathematics, replete in his work, rely upon the construction of alternative lineages in the history of mathematics, which challenge some of the self imposed limits that regulate the canonical concepts of the discipline. For Deleuze, these challenges are an opportunity to reconfigure particular philosophical problems - for example, the problem of individuation - and to develop new concepts in response to them. The highly original research presented in this book explores the mathematical construction of Deleuze's philosophy, as well as addressing the undervalued and often neglected question of the mathematical thinkers who influenced his work. In the wake of Alain Badiou's recent and seemingly devastating attack on the way the relation between mathematics and philosophy is configured in Deleuze's work, Simon Duffy offers a robust defence of the structure of Deleuze's philosophy and, in particular, the adequacy of the mathematical problems used in its construction. By reconciling Badiou and Deleuze's seeming incompatible engagements with mathematics, Duffy succeeds in presenting a solid foundation for Deleuze's philosophy, rebuffing the recent challenges against it.
Release