Mathematical foundations

Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications.

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics.

Collected here for the first time, this series of lectures delivered by Lonergan at Boston College in 1957 illustrates a pivotal time in Lonergan's intellectual history, marking both the transition from the faculty psychology still present in his work Insight to intentionality analysis and his initial differentiation of the existential level of consciousness.

This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science.

Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming.

This volume comprises an imaginative collection of pieces created in tribute to Martin Gardner.

Anyone involved in the philosophy of science is naturally drawn into the study of the foundations of probability.

Provides a general framework for doing geometric group theory for non-locally-compact topological groups arising in mathematical practice.

This book discusses how to design "e;good"e; geometric puzzles: two-dimensional dissection puzzles, polyhedral dissections, and burrs.

A bend is a knot securely joining together two lengths of cord (or string or rope), thereby yielding a single longer length.

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

The Art of Proof is designed for a one-semester or two-quarter course.

as anywhere today, it is becoming more d- ficult to tell the truth.

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995.

A Petri net is a mathematical representation of a network.

This book provides an account of those parts of contemporary set theory of direct relevance to other areas of pure mathematics.

Semiorder is probably one of the most frequently ordered structures in science.

Berto's highly readable and lucid guide introduces students and the interested reader to G del's celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from G del's arguments.

A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists.

Learn how to develop your reasoning skills and how to writewell-reasoned proofs Learning to Reason shows you how to use the basic elements ofmathematical language to develop highly sophisticated, logicalreasoning skills.

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic.

This unique collection contains extensive and in-depth interviews with mathematicians who have shaped the field of mathematics in the twentieth century.

The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.

Fundamentals of Fuzzy Sets covers the basic elements of fuzzy set theory.

Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory is a major attempt to provide much-needed coherence for the mathematics of fuzzy sets.

?

Absolute values and their completions -like the p-adic number fields- play an important role in number theory.

This volume presents a novel approach to set theory that is entirely operational.

It took many decades for Peirce's coneept of a relation to find its way into the microelectronic innards of control systems of eement kilns, subway trains, and tunnel-digging machinery.

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics.

In recent years, applied mathematics has been used in all novel disciplines of scientific development.

Offering a bold new vision on the history of modern logic, Lukas M.

In the last decade, both scholars and practitioners have sought novel ways to address the problem of cybersecurity.

Foundation of Euclidean and Non-Euclidean Geometries according to F.

Designed for the intellectually curious, this book provides a solid foundation in basic probability in an informal style, without jargon.

"e;Among the many expositions of Godel's incompleteness theorems written for non-specialists, this book stands apart.

There are two huge gaps in scientific theory.

Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics.

In this charming memoir, a renowned mathematician and winner of the American Book Award traces his career in mathematics from early lessons in horse racing and the realities of life to his adventures on the lecture circuit.

Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.

Logic Colloquium '02 includes articles from some of the world's preeminent logicians.

This book is the second collection of over 50 articles and essays authored by Sidney Perkowitz.

Metric fixed point theory encompasses the branch of fixed point theory which metric conditions on the underlying space and/or on the mappings play a fundamental role.