Mathematical foundations

This book presents the entire body of thought of Norbert Wiener (1894-1964), knowledge of which is essential if one wishes to understand and correctly interpret the age in which we live.

In Alan Lightman's new book, a verse narrative, we meet a man who has lost his faith in all things following a mysterious personal tragedy.

Originally published in 1981.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School.

In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G.

Ultralogic as Universal?

As long as algebra and geometry The unreasonable effectiveness of proceeded along separate paths, mathematics in science .

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015.

This book delves into finite mathematics and its application in physics, particularly quantum theory.

By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science.

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

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications.

Frege is widely regarded as having set much of the agenda of contemporary analytic philosophy.

In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century.

This volume consists of 24 refereed carefully edited papers on various topics in multivariate approximation.

With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.

This book presents the concept of cryptcoding which arises from the need to obtain secure and accurate transmission.

In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig- inated by Herbrand and developed in the case of standard first-order unifi- cation by Martelli and Montanari.

Presents those methods of modern set theory most applicable to other areas of pure mathematics.

Cyber security is the protection of information systems, hardware, software, and information as well from theft, damages, interruption or misdirection to any of these resources.

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.

Mathematics of Tabletop Games provides a bridge between mathematics and hobby tabletop gaming.

Real analytic sets in Euclidean space (Le.

X Marks the Spot is written from the point of view of the users of mathematics.

Tessellations: Mathematics, Art and Recreation aims to present a comprehensive introduction to tessellations (tiling) at a level accessible to non-specialists.

Originally published in 1937.

Mountaineers use pitons to protect themselves from falls.

A symbol of the Divine, a good luck charm, a cosmogram of the world order, a template for fengshui-through the ages, the luoshu, or magic squre of order three, has fascinated people of many different cultures.

In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces.

From Zero to Infinity is a combination of number lore, number history, and sparkling descriptions of the simply stated but exceedingly difficult problems posed by the most ordinary numbers that first appeared in 1955 and has been kept in print continuously ever since.

This book provides a practical argumentation model for intelligent means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making.

This 2004 book presents a fascinating collection of problems related to the Cauchy-Schwarz inequality and coaches readers through solutions.

Building on the success of the first edition, An Introduction to Number Theory with Cryptography, Second Edition, increases coverage of the popular and important topic of cryptography, integrating it with traditional topics in number theory.

Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.

This first volume develops factorization algebras with a focus upon examples exhibiting their use in field theory, which will be useful for researchers and graduates.

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.

In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the con- sistency of the Axiom of Choice (AC) and the Generalized Continuum Hypothesis (GCH), and Cohen's work on the independence of the AC and the GCH.

An inviting collection of fun, hands-on applications in mathematics and computingThis book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us and help us to better understand it.

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic.

The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations is a collection of papers presented at the 1972 Symposium by the same title, held at the University of Maryland, Baltimore County Campus.

For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields.

A unique reference in the field of knowledge representation, now available in paperback.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.

The two works titled "e;What Are and What Should the Numbers Be?

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which took place in two stages from 1989- 1996.