Devoted to the first-order theories of torsion-free hyperbolic groups, one of the purposes of this paper is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key concept i...Loe edasi...
(Ilmumisaeg: 05-Jan-2024, Paperback / softback, Kirjastus: Centre for the Study of Language & Information, ISBN-13: 9781684000005)
A comprehensive introduction to logics central concepts. This book provides a concise but detailed account of modern logics three cornerstones: the completeness of first-order logic, Gödels Incompleteness Theorems, and Turings analysis...Loe edasi...
This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including...Loe edasi...
William Ewald, Michael Hallett, Ulrich Majer, Wilfried Sieg
(Ilmumisaeg: 22-Oct-2024, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540206057)
Volume 2 focuses on notes for lectures on the foundations of the mathematical sciences held by Hilbert in the period 1894-1917. They document Hilbert’s first engagement with ‘impossibility’ proofs; his early attempts to formulate and address the p...Loe edasi...
Designed for an Introduction to Proofs course organised around the themes of number and space. Concepts are illustrated using both geometric and number examples, while frequent analogies and applications help build intuition and context in the human...Loe edasi...
To mark the opening of a new mathematics and physics building at the California Institute of Technology, a symposium was held during February 2019, and the organizing committee decided to publish expanded versions of the lectures. The nine papers...Loe edasi...
We provide analogues of the results from Friedman and Motto Ros (2011) and Camerlo, Marcone, and Motto Ros (2013) (which correspond to the case) for arbitrary -Souslin quasi-orders on any Polish space, for an infinite cardinal smaller than the cardi...Loe edasi...
Mustafa offers a thorough account of probabilistic, combinatorial, and geometric sampling methods and their combinatorial and algorithmic applications. He also revisits classical results but with new and more elegant proofs. Readers need a basic...Loe edasi...
Friedman and Schrittesser set out to answer a long-standing question regarding Lebesgue measurability and the Baire property, and how their behavior can differ with respect to sets in the projective hierarchy. Namely, they prove the theorem if ZF...Loe edasi...
Considering how minimal weak truth table degrees interact with computably enumerable Turing degrees, Downey, Ng, and Solomon obtain three main results. First, there are sets with minimal weak truth table degree that bound noncomputable computably...Loe edasi...
In 1919 Emile Borel noted that countable sets of real numbers have a certain covering property, and speculated that only countable sets of real numbers have that property. Here, mathematicians explore the history and impact of the Borel conjectur...Loe edasi...
(Ilmumisaeg: 11-Sep-2019, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780198712084)
The volume is the first collection of essays that focuses on Gottlob Freges Basic Laws of Arithmetic (1893/1903), highlighting both the technical and the philosophical richness of Freges magnum opus. It brings together twenty-two...Loe edasi...
Invited speakers at a July-August 2017 international conference in Enrice, Italy offer printed versions of their 12 presentations. Their focus is on recent developments in the model theory of modules, as well as the broad influence-sometimes expl...Loe edasi...
(Ilmumisaeg: 30-Jul-2019, Hardback, Kirjastus: American Mathematical Society, ISBN-13: 9781470451448)
In a textbook for an undergraduate course in real analysis, Bridger recognizes that besides mathematics majors, such courses attract students of secondary teaching, physical sciences, and computer science and need more (and less) than a foundatio...Loe edasi...
This book explores certain structures of fuzzy Lie algebras, fuzzy Lie superalgebras and fuzzy n-Lie algebras. In addition, it applies various concepts to Lie algebras and Lie superalgebras, including type-1 fuzzy sets, interval-valued fuzzy set...Loe edasi...
Drawing from the lecture notes for a semester-long program for advanced undergraduate students, Katz and Reimann introduce Ramsey theory. The material should be accessible to anyone who has completed a first set of proof-based mathematics courses...Loe edasi...
Part of the Longman Library of Primary Sources in Philosophy, this edition of Freges Foundations of Arithmetic is framed by a pedagogical structure designed to make this important work of philosophy more accessible and meaningful for undergraduates....Loe edasi...
(Ilmumisaeg: 23-May-2017, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319305257)
This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their re...Loe edasi...
This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathe...Loe edasi...
(Ilmumisaeg: 01-Mar-2017, Hardback, Kirjastus: American Mathematical Society, ISBN-13: 9781470431822)
After a brief overview of the main ideas and topics related to Kolmogorov complexity and algorithmic randomness, Shen, Uspensky, and Vereshchagin discuss topics and results they find most important from both the technical and philosophical perspe...Loe edasi...
Woodin has been a leading figure in set theory since the early 1980s, and colleagues, former students, and other mathematicians wish him happy birthday with 12 papers on matters of interest to him. Their topics include the enumeration of degrees:...Loe edasi...
Gallery of the Infinite is a mathematicians unique view of the infinitely many sizes of infinity. Written in a playful yet informative style, it introduces important concepts from set theory (including the Cantor Diagonalization Method and the Canto...Loe edasi...
(Ilmumisaeg: 30-Oct-2016, Hardback, Kirjastus: American Mathematical Society, ISBN-13: 9781470428990)
In her textbook for a course introducing mathematical proofs, Lakins initially presents only enough logic for students to be able to work with the propositional connectives and the quantifiers, then focuses on getting students writing proofs as early...Loe edasi...
Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theor...Loe edasi...
(Ilmumisaeg: 02-Aug-2016, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319404172)
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering,...Loe edasi...
Twenty papers from the November 2014 conference share new developments in combinatorial matrix theory, numerical linear algebra, operator theory, discrete mathematics, the space-time fractional Schrodinger equation, hyperbolic systems, ill-posed prob...Loe edasi...
Uskali Mäki, Ioannis Votsis, Stéphanie Ruphy, Gerhard Schurz
Sari: European Studies in Philosophy of Science
(Ilmumisaeg: 17-Sep-2015, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319230146)
This volume showcases the best of recent research in the philosophy of science. A compilation of papers presented at the EPSA 13, it explores a broad distribution of topics such as causation, truthlikeness, scientific representation, gender-specif...Loe edasi...
Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis. Nonstandard analysis is now a well-developed, powerful instrument for solving open pro...Loe edasi...
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are bui...Loe edasi...
(Ilmumisaeg: 13-May-2015, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319167206)
This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the Preface illustrates a variety...Loe edasi...
Six studies revised from presentations at the school examine recent developments regarding Smales 17th Problem. They cover topics in real and complex number complexity theory; the real solving of algebraic varieties with intrinsic complexity; the co...Loe edasi...
(Ilmumisaeg: 30-Dec-2012, Hardback, Kirjastus: American Mathematical Society, ISBN-13: 9780821889848)
Taylor (mathematics, U. of Utah) has developed a textbook from notes for a two-semester undergraduate course he teaches for students who have completed three semesters of calculus and one semester of linear algebra. For many students, he says, this i...Loe edasi...
Weber (mathematics, Dartmouth U.) introduces computability theory in mathematics in terms of background, defining computability, working with computable functions, computing and enumerating sets, Turing reduction and Posts problem, two hierarchies o...Loe edasi...
The 13 papers in this collection describe some main results, techniques, and research directions in the application of model theory to combinatorics--one of the last areas of mathematics to receive such attention. Most of them combine comprehensive s...Loe edasi...
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science a...Loe edasi...
A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculu...Loe edasi...
(Ilmumisaeg: 01-Sep-2005, Hardback, Kirjastus: A K Peters, ISBN-13: 9781568812670)
The concept of intension is explored in 10 essays presented at workshops in October 2000 in Munich and the summer of 2002 in Trento. Discussion includes general philosophical considerations, formal theories, linguistics, mathematics, and computer s...Loe edasi...
(Ilmumisaeg: 01-Sep-2005, Paperback / softback, Kirjastus: A K Peters, ISBN-13: 9781568812687)
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worl...Loe edasi...
While many books have been written about Bertrand Russells philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philoso...Loe edasi...
(Ilmumisaeg: 20-Jan-1994, Hardback, Kirjastus: Harvard University Press, ISBN-13: 9780674319424)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
Widespread interest in Freges general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has bee...Loe edasi...
(Ilmumisaeg: 01-Nov-1991, Hardback, Kirjastus: Harvard University Press, ISBN-13: 9780674319356)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
Complements Dummetts (logic, Oxford U.) Frege: philosophy of language by examining the mathematics of German logician, mathematician, and philosopher Gottlob Frege (1848-1925) who greatly influenced Russell and Wittgenstein, and is considered the...Loe edasi...
