Gцdel`s Theorems and Zermelo`s Axioms: A Firm Foundation of Mathematics, Halbeisen Lorenz, Krapf Regula

Автор: Halbeisen Lorenz, Krapf Regula
Название: Gцdel`s Theorems and Zermelo`s Axioms: A Firm Foundation of Mathematics
ISBN: 3030522784 ISBN-13(EAN): 9783030522780
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

Автор: Von Plato Jan
Название: Can Mathematics Be Proved Consistent?: Gцdel`s Shorthand Notes & Lectures on Incompleteness
ISBN: 3030508757 ISBN-13(EAN): 9783030508753
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: G.H. Moore
Название: Zermelo`s Axiom of Choice
ISBN: 1461394805 ISBN-13(EAN): 9781461394808
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Von Plato Jan
Название: Chapters from Gцdel`s Unfinished Book on Foundational Research in Mathematics
ISBN: 3030971333 ISBN-13(EAN): 9783030971335
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Von Plato Jan
Название: Can Mathematics Be Proved Consistent?: Gцdel`s Shorthand Notes & Lectures on Incompleteness
ISBN: 3030508781 ISBN-13(EAN): 9783030508784
Издательство: Springer
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Maria Catherine C. Borres
Название: A Handbook of Proofs and Theorems
ISBN: 1680945882 ISBN-13(EAN): 9781680945881
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 141370.00 T
Наличие на складе: Невозможна поставка.
Описание: A theorem is a statement that can be demonstrated to be true by accepted mathematical operations and arguments. In general, a theorem is an embodiment of some general principle that makes it part of a larger theory. The process of showing a theorem to be correct is called a proof. This handbook offers an introduction to proofs and theorems.

Автор: Smullyan, Raymond M.
Название: Godel`s incompleteness theorems
ISBN: 0195046722 ISBN-13(EAN): 9780195046724
Издательство: Oxford Academ
Цена: 274560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Ilya S. Molchanov
Название: Limit Theorems for Unions of Random Closed Sets
ISBN: 3540573933 ISBN-13(EAN): 9783540573937
Издательство: Springer
Рейтинг:
Цена: 23250.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Shoumei Li; Y. Ogura; V. Kreinovich
Название: Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables
ISBN: 9048161398 ISBN-13(EAN): 9789048161393
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).