Автор: Stillwell John Название: Reverse Mathematics: Proofs from the Inside Out ISBN: 0691177171 ISBN-13(EAN): 9780691177175 Издательство: Wiley Рейтинг: Цена: 3485.00 р. Наличие на складе: Поставка под заказ.
Описание:
This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic.
Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it.
By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.
Автор: Cooper S. Barry, Truss John K., Hitchin N. J. Название: Sets and Proofs ISBN: 0521635497 ISBN-13(EAN): 9780521635493 Издательство: Cambridge Academ Рейтинг: Цена: 8710.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book and its sister volume, Models and Computability, provide readers with a comprehensive guide to the mathematical logic. All the authors are leaders in their fields and are drawn from invited speakers at `Logic Colloquium `97` (the major international meeting of the Association of Symbolic Logic).
Автор: J. Kacprzyk; S.A. Orlovski Название: Optimization Models Using Fuzzy Sets and Possibility Theory ISBN: 9401082200 ISBN-13(EAN): 9789401082204 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This dichotomous structure of methods very often forced the modeller to approximate real problem situations of the more-or-less type by yes-or-no-type models, the solutions of which might turn out not to be the solutions to the real prob- lems.
Автор: Sylvie, Boldo Название: Computer arithmetic and Formal Proofs ISBN: 1785481126 ISBN-13(EAN): 9781785481123 Издательство: Elsevier Science Рейтинг: Цена: 22570.00 р. Наличие на складе: Поставка под заказ.
Описание:
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.
This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.
Автор: George Weaver Название: Henkin-Keisler Models ISBN: 0792343662 ISBN-13(EAN): 9780792343660 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. This title uses these aspects of the Henkin-Keisler construction to present a perspective on ultraproducts and their applications.
Автор: Michal Krynicki; M. Mostowski; L.W. Szczerba Название: Quantifiers: Logics, Models and Computation ISBN: 9048145406 ISBN-13(EAN): 9789048145409 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For a long time it has been belived that elementary logic also called first-order logic was an ade- quate theory of logical forms of natural language sentences.
Автор: Arie Hinkis Название: Proofs of the Cantor-Bernstein Theorem ISBN: 3034807880 ISBN-13(EAN): 9783034807883 Издательство: Springer Рейтинг: Цена: 13270.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This `excursion` through the evolution of research mathematics takes in some 40 papers, published up to the 1970s, on proofs of the Cantor-Bernstein theorem. It provides a detailed example of proof-processing in the derivation of Bernstein`s division theorem.
Автор: Larry J. Gerstein Название: Introduction to Mathematical Structures and Proofs ISBN: 1493951467 ISBN-13(EAN): 9781493951468 Издательство: Springer Рейтинг: Цена: 6282.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This updated and revised second edition is designed to help students advance from basic calculus to higher-level linear and abstract algebra and number theory. It introduces an array of fundamental structures and shows how to balance intuition and rigor.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
