This unique collection contains extensive and in-depth interviews with mathematicians who have shaped the field of mathematics in the twentieth century.
This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica.
Dieses Buch entwickelt systematisch die Konstruktion der klassischen Zahlenbereiche mit Blick auf die wichtigsten mathematischen Strukturen: Ordnungsstrukturen, algebraische Strukturen und topologische Strukturen.
Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises.
This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos''s theory of ''proofs and refutations''.
A thorough, self-contained and easily accessible treatment of the theory on the polynomial best approximation of functions with respect to maximum norms.
This book traces the history of the MIT Department of Mathematics-one of the most important mathematics departments in the world-through candid, in-depth, lively conversations with a select and diverse group of its senior members.
This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications.
The great German mathematician David Hilbert's creation, de facto, was-no, is-a theory of everything or world formula, even though he himself had little chance of fully realizing this.
Yearning for the Impossible: The Surprising Truth of Mathematics, Second Edition explores the history of mathematics from the perspective of the creative tension between common sense and the "e;impossible"e; as the author follows the discovery or invention of new concepts that have marked mathematical progress.
This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China.
Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.
This book is designed to be usable as a textbook for an undergraduate course or for an advanced graduate course in coding theory as well as a reference for researchers in discrete mathematics, engineering and theoretical computer science.
The magnum opus of one of the world's leading origami artists, the second edition of Origami Design Secrets reveals the underlying concepts of origami and how to create original origami designs.
Extensively researched, this book traces the life and work of Abraham De Moivre as well as the state of probability and statistics in eighteenth-century Britain.
Die zentrale Aufgabe einer zukunftsorientierten Computerlinguistik ist die Entwicklung kognitiver Maschinen, mit denen Menschen in ihrer jeweiligen Sprache frei reden können.
Computational Thinking (CT) involves fundamental concepts and reasoning, distilled from computer science and other computational sciences, which become powerful general mental tools for solving problems, increasing efficiency, reducing complexity, designing procedures, or interacting with humans and machines.
Alfredo Ferro's impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems.
A Concrete Introduction to Analysis, Second Edition offers a major reorganization of the previous edition with the goal of making it a much more comprehensive and accessible for students.
This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics.
