Mathematical foundations

Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

Mathematics and logic have been central topics of concern since the dawn of philosophy.

The capabilities of modern technology are rapidly increasing, spurred on to a large extent by the tremendous advances in communications and computing.

Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing.

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.

Train your brain with these fiendishly difficult puzzles, the perfect companion for anyone wanting to keep their mind busy'Fiendishly tricky' Daily MailWith their first bestselling book, The GCHQ Puzzle Book, the UK's intelligence and security experts tested us with puzzles, codes and real-life entrance tests from their archives.

This book is about the relationship between necessary reasoning and visual experience in Charles S.

The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices.

Logic appears in a 'sacred' and in a 'profane' form.

Fuzzy Methods for Assessment and Decision Making presents the assessment of learning and problem-solving skills with qualitative grades.

Keith Devlin and Jonathan Borwein, two well-known mathematicians with expertise in different mathematical specialties but with a common interest in experimentation in mathematics, have joined forces to create this introduction to experimental mathematics.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.

Completeness is one of the most important notions in logic and the foundations of mathematics.

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems.

This book collects 13 papers that explore Wittgenstein's philosophy throughout the different stages of his career.

Even as the evidence of global warming mounts, the international response to this serious threat is coming unraveled.

The study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself.

This book presents a comprehensive exploration of quantum computing, exploring its wide-ranging applications across industries, elucidating its transformative impact on diverse sectors, and addressing the forthcoming challenges and future directions within this rapidly evolving field.

Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area.

Today we witness an explosive growth in attention to Q-computing.

This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors.

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981.

Introduction to Recognition and Deciphering of Patterns is meant to acquaint STEM and non-STEM students with different patterns, as well as to where and when specific patterns arise.

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability.

The aim of this book is to lead the reader out from the ordinary routine of computing and calculating by engaging in a more dynamic process of learning.

The present book aims to provide systematic and reliable techniques, called the global solution, for Sudoku puzzles.

Philosophy of mathematics today has transformed into a very complex network of diverse ideas, viewpoints, and theories.

Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory.

This book teaches you how to design a fuzzy controller and shares the author's experience of design and applications.

Computability and Logic is a classic because of its accessibility to students without a mathematical background.

The original edition of The Geometry of Musical Rhythm was the first book to provide a systematic and accessible computational geometric analysis of the musical rhythms of the world.

In a fragment entitled Elementa Nova Matheseos Universalis (1683?

The book is about strong axioms of infi nity in set theory (also known as large cardinal axioms), and the ongoing search for natural models of these axioms.

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number.

An engaging and accessible introduction to mathematical proof incorporating ideas from real analysis A mathematical proof is an inferential argument for a mathematical statement.

This book questions the relevance of computation to the physical universe.

In this book the general theory of stable groups is developed from the beginning.

The Cybersecurity landscape is a daunting one today.

Cellular Automata (CA), about to enter their fifties, are coming of age, seen by the breadth and quality of CA-related research carried out worldwide, as well as by the appearance of interesting applications to real world problems.

This ambitious exposition by Malik and Mordeson on the fuzzification of discrete structures not only supplies a solid basic text on this key topic, but also serves as a viable tool for learning basic fuzzy set concepts "e;from the ground up"e; due to its unusual lucidity of exposition.

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications.