The Elementary Theory of Groups: A Guide through the Proofs of the Tarski Conjectures, Benjamin Fine, Anthony Gaglione, Alexei Myasnikov,
Автор: Popper, Karl R. Название: Conjectures and refutations ISBN: 0415285941 ISBN-13(EAN): 9780415285940 Издательство: Taylor&Francis Рейтинг: Цена: 3367.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: One of Karl Popper`s most wide-ranging and popular works, it provides the clearest statement of the fundamental idea that guided his work: that our knowledge grows by an unending process of trial and error.
Описание: Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, G?del’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Автор: K. Kunen Название: Set Theory An Introduction To Independence Proofs, ISBN: 0444868399 ISBN-13(EAN): 9780444868398 Издательство: Elsevier Science Рейтинг: Цена: 8420.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.
Описание: This resource volume is an enlargement as well as an update of the previous edition. The book aims to introduce the reader to over 100 different families of positive integers.
Автор: Anita Burdman Feferman Название: Alfred Tarski ISBN: 0521802407 ISBN-13(EAN): 9780521802406 Издательство: Cambridge Academ Рейтинг: Цена: 19008.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski, one of the greatest logicians of all time, is widely thought of as `the man who defined truth`. From the cafes of Warsaw and Vienna to the mountains and deserts of California, this first full length biography places Tarski in the social, intellectual and historical context of his times and presents a frank, vivid picture of a personally and professionally passionate man.
Автор: Tomkowicz Название: The Banach–Tarski Paradox ISBN: 1107042593 ISBN-13(EAN): 9781107042599 Издательство: Cambridge Academ Рейтинг: Цена: 15206.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Banach-Tarski Paradox is the most surprising result in mathematics. This new edition of a classic book offers a comprehensive, accessible presentation, with many related results, especially connections to non-Euclidean geometry, to squaring the circle, and even to some art by Escher. This material is suited to projects for undergraduates or masters students.
Автор: Kenney Margaret J. Название: Number Treasury 3: Investigations, Facts and Conjectures abo ISBN: 9814603694 ISBN-13(EAN): 9789814603690 Издательство: World Scientific Publishing Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
"This book is a great choice for teachers as well as students who are interested in either recreational mathematics or in studying interesting number patterns. The activities can easily be used in both middle and secondary mathematics classrooms as enrichment topics. They would also be appropriate for use in math clubs and to challenge advanced learners. I highly recommend this book for anyone who loves exploring interesting properties of numbers."
Mathematics Teaching in the Middle School
"It is indeed an extremely rare occasion when a book can be used as a reference through such a broad level of math classes. This one is an existence proof."
Mathematical Association of America
"I recommend this book as a resource for developing lessons that extend students' understanding of the properties and relationships of numbers. The investigations allow students to make conjectures and generalizations about numbers and act as mathematicians."
Mathematics Teacher
"Many of the provided activities would be suitable for the high-school classroom, and could give students the opportunity to explore certain aspects of mathematics with a degree of independence."
Mathematical Gazette
This resource volume is an enlargement as well as an update of the previous edition. The book aims to introduce the reader to over 100 different families of positive integers. A brief historical note accompanies the descriptions and examples of several of the families together with a mix of routine exercises and problems as well as some thought provokers to solve. Number Treasury3 especially aims to stimulate further study beyond the scope of the introductory treatment given in the book. The emphasis in Number Treasury3 is on doing not proving. However, the reader is directed to think critically about situations, to provide explanations, to make generalizations, and to formulate conjectures. To engage the reader from the start, the book begins with a set of rich Investigations. These are standalone activities that represent each of the chapters of the book.
Автор: Patterson Название: Alfred Tarski: Philosophy of Language and Logic ISBN: 0230221211 ISBN-13(EAN): 9780230221215 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This study looks to the work of Tarski`s mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
