This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic.
Drawing primarily from historical examples, this book explains the tremendous role that numbers and, in particular, mathematics play in all aspects of our civilization and culture.
Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures.
Topology, Volume I deals with topology and covers topics ranging from operations in logic and set theory to Cartesian products, mappings, and orderings.
Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden.
A collection of short detective stories for young adults who are interested in applying high school level mathematics and physics to solving mysteries.
Helping current and future system designers take a more productive approach in the field, Communication System Security shows how to apply security principles to state-of-the-art communication systems.
The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century.
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.
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.
This book presents eleven peer-reviewed papers from the 3rd International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2017) held in Tbilisi, Georgia in December 2017.
This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
The goal of this unique text is to provide an "e;experience"e; that would facilitate a better transition for mathematics majors to the advanced proof-based courses required for their major.
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture.
In dem Buch erkundet der preisgekrönte Autor John Stillwell die Konsequenzen, die sich ergeben, wenn man die Unendlichkeit akzeptiert, und diese Konsequenzen sind vielseitig und überraschend.
The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero.
From the reviews: "e;A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details.
Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis.
Wondrous One Sheet Origami is a how-to book full of beautiful origami designs covering a wide range of folding levels from simple to high intermediate, with more emphasis on the latter.
The Payment Card Industry Data Security Standard (PCI DSS) is now in its 18th year, and it is continuing to dominate corporate security budgets and resources.