Kategoria BISAC: Mathematics >> Set Theory

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences. Filling this gap, Application of Fuzzy Logic to Social Choice Theory provides a comprehensive study of fuzzy social choice theory.

The book explains the concept of a fuzzy maximal subset of a set of alternatives, fuzzy choice functions, the factorization of a fuzzy preference relation into the "union" (conorm) of a strict fuzzy relation and an indifference operator, fuzzy non-Arrowian...

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction in the philosophy of mathematics, Jose Ferreiros uses the crucial idea of a continuum to provide an account of the development of mathematical knowledge that reflects the actual experience of doing math and makes sense of the perceived objectivity of mathematical results.

Describing a historically oriented, agent-based philosophy of mathematics, Ferreiros shows how the mathematical...

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain...

First and foremost, this is a beautiful story about a girl who learns to count. However, most of us have forgotten how we became skilled counters, and few know that in doing so we also learn concepts from higher mathematics. If you are curious to know why you can count or if you want to do some exercises together with children to help them on their way to start counting, then this is the book for you. There is something for everyone in the book and you will enjoy it as an exploring kid or as a caring parent, as well as a seasoned mathematician. This book illustrates and thoroughly explains...

First and foremost, this is a beautiful story about a girl who learns to count. However, most of us have forgotten how we became skilled counters, and few know that in doing so we also learn concepts from higher mathematics. If you are curious to know why you can count or if you want to do some exercises together with children to help them on their way to start counting, then this is the book for you. There is something for everyone in the book and you will enjoy it as an exploring kid or as a caring parent, as well as a seasoned mathematician. The book illustrates and thoroughly explains...