Mathematical foundations

This introductory text clearly presents three important games in logic, from the basics to the cutting edge.

An understanding of emergent computation requires a profound revision of the most fundamental ideas.

Mathematics of Keno and Lotteries is an elementary treatment of the mathematics, primarily probability and simple combinatorics, involved in lotteries and keno.

Many-valued logics were developed as an attempt to handlephilosophical doubts about the "e;law of excluded middle"e; inclassical logic.

This volume comprises selected contributions by the participants of the second "e;Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods"e; conference, which took place at the University of Almeria, Spain, in July 2022.

The bestselling book that has helped millions of readers solve any problemA must-have guide by eminent mathematician G.

"e;Knot theory is a fascinating mathematical subject, with multiple links to theoretical physics.

Since the achievement of a fonnal definition of the concept of "e;algorithm"e;, the Mathematical Theory of Computation has developed into a broad and rich discipline.

Statistical data are not always precise numbers, or vectors, or categories.

The most comprehensive account of the mathematician's life and workJohn Napier (1550-1617) is celebrated today as the man who invented logarithms-an enormous intellectual achievement that would soon lead to the development of their mechanical equivalent in the slide rule: the two would serve humanity as the principal means of calculation until the mid-1970s.

This book explores the many disciplinary and theoretical links between language, linguistics, and mathematics.

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

Physics World's 'Book of the Year' for 2016 An Entertaining and Enlightening Guide to the Who, What, and Why of String Theory, now also available in an updated reflowable electronic format compatible with mobile devices and e-readers.

Books on information theory and coding have proliferated over the last few years, but few succeed in covering the fundamentals without losing students in mathematical abstraction.

A short introduction ideal for students learning category theory for the first time.

Fixed-point theory initially emerged in the article demonstrating existence of solutions of differential equations, which appeared in the second quarter of the 18th century (Joseph Liouville, 1837).

The term "e;fuzzy logic,"e; as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence.

Provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory.

Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.

This volume examines problem solving and applied systems aimed at improving performance and management of organizations.

Naive Set Theory: A Rigorous Approach aims to provide a complete and unitary presentation of naive set theory as the foundation of the whole mathematics.

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

This monograph is a testament to the potency of the method of singular integrals of layer potential type in solving boundary value problems for weakly elliptic systems in the setting of Muckenhoupt-weighted Morrey spaces and their pre-duals.

Model theory is one of the central branches of mathematical logic.

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.

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions.

This book presents a philosophy of science, based on panenmentalism: an original modal metaphysics, which is realist about individual pure (non-actual) possibilities and rejects the notion of possible worlds.

Fuzzy Sets in Decision Analysis, Operations Research and Statistics includes chapters on fuzzy preference modeling, multiple criteria analysis, ranking and sorting methods, group decision-making and fuzzy game theory.

Developed from the authors' courses at Syracuse University and the U.

This book clearly introduces the major topics in logic and their relation to current philosophical issues.

This book is concerned with the coherent treatment, including the derivation, analysis, and applications, of the most useful scalar extrapolation methods.

This book covers work written by leading scholars from different schools within the research area of paraconsistency.

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science.

For those who wonder if the forcing theory is beyond their means: no.

Exploring the intersection of ethics and statistics, this comprehensive guide illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical sciences.

Samson Abramsky's wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field.

During the last three decades, interest has increased significantly in the representation and manipulation of imprecision and uncertainty.

This book presents a mathematically-based introduction into the fascinating topic of Fuzzy Sets and Fuzzy Logic and might be used as textbook at both undergraduate and graduate levels and also as reference guide for mathematician, scientists or engineers who would like to get an insight into Fuzzy Logic.

Arithmetic and Geometry presents highlights of recent work in arithmetic algebraic geometry by some of the world's leading mathematicians.

This English translation of the author's original work has been thoroughly revised, expanded and updated.

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics.

The bestselling book that has helped millions of readers solve any problemA must-have guide by eminent mathematician G.

An accessible introduction to many-valued and fuzzy logic designed for undergraduate and graduate students.

This book is based on the authors' research on rendering images of higher dimensional fractals by a distance estimation technique.