Описание: A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory.
Автор: G.H. Moore Название: Zermelo`s Axiom of Choice ISBN: 1461394805 ISBN-13(EAN): 9781461394808 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book grew out of my interest in what is common to three disciplines: mathematics, philosophy, and history. Though Zermelo`s research has provided the focus for this book, much of it is devoted to the problems from which his work originated and to the later developments which, directly or indirectly, he inspired.
Описание: This volume contains English translations of Goedel`s chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. Goedel`s "own book on foundations," as he called it, is essential reading for logicians and philosophers interested in foundations.
Описание: Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.
Описание: Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.
Автор: Todorcevic Stevo Название: Notes On Forcing Axioms ISBN: 9814571571 ISBN-13(EAN): 9789814571579 Издательство: World Scientific Publishing Рейтинг: Цена: 9821.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions rather than on the relationship between different forcing axioms or their consistency strengths.
Автор: Smullyan, Raymond M. Название: Godel`s incompleteness theorems ISBN: 0195046722 ISBN-13(EAN): 9780195046724 Издательство: Oxford Academ Цена: 41184.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice.
Описание: After the pioneering works by Robbins {1944, 1945) and Choquet (1955), the notation of a set-valued random variable (called a random closed set in literatures) was systematically introduced by Kendall {1974) and Matheron {1975).
Автор: Ilya S. Molchanov Название: Limit Theorems for Unions of Random Closed Sets ISBN: 3540573933 ISBN-13(EAN): 9783540573937 Издательство: Springer Рейтинг: Цена: 3487.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph examines limit theorems and the laws of large numbers for scaled unions of independent, identically-distributed random sets. The results generalize well-known facts about the theory of extreme values. Limiting distributions are characterized and found for random closed sets.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
