Martin Davis on Computability, Computational Logic, and Mathematical Foundations


Book Description

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.




Computability, Complexity, and Languages


Book Description

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. Additions to the second edition include: extended exercise sets, which vary in difficulty; expanded section on recursion theory; new chapters on program verification and logic programming; updated references and examples throughout.




Fields of Logic and Computation III


Book Description

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.




The Software Arts


Book Description

An alternative history of software that places the liberal arts at the very center of software's evolution. In The Software Arts, Warren Sack offers an alternative history of computing that places the arts at the very center of software's evolution. Tracing the origins of software to eighteenth-century French encyclopedists' step-by-step descriptions of how things were made in the workshops of artists and artisans, Sack shows that programming languages are the offspring of an effort to describe the mechanical arts in the language of the liberal arts. Sack offers a reading of the texts of computing—code, algorithms, and technical papers—that emphasizes continuity between prose and programs. He translates concepts and categories from the liberal and mechanical arts—including logic, rhetoric, grammar, learning, algorithm, language, and simulation—into terms of computer science and then considers their further translation into popular culture, where they circulate as forms of digital life. He considers, among other topics, the “arithmetization” of knowledge that presaged digitization; today's multitude of logics; the history of demonstration, from deduction to newer forms of persuasion; and the post-Chomsky absence of meaning in grammar. With The Software Arts, Sack invites artists and humanists to see how their ideas are at the root of software and invites computer scientists to envision themselves as artists and humanists.




Sailing Routes in the World of Computation


Book Description

This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving.




Engaging Putnam


Book Description

Hilary Whitehall Putnam was one of the leading philosophers of the second half of the 20th century. As student of Rudolph Carnap's and Hans Reichenbach's, he went on to become not only a major figure in North American analytic philosophy, who made significant contributions to the philosophy of mind, language, mathematics, and physics but also to the disciplines of logic, number theory, and computer science. He passed away on March 13, 2016. The present volume is a memorial to his extraordinary intellectual contributions, honoring his contributions as a philosopher, a thinker, and a public intellectual. It features essays by an international team of leading philosophers, covering all aspects of Hilary Putnam's philosophy from his work in ethics and the history of philosophy to his contributions to the philosophy of science, logic, and mathematics. Each essay is an original contribution. “Hilary Putnam is one of the most distinguished philosophers of the modern era, and just speaking personally, one of the smartest and most impressive thinkers I have ever been privileged to know—as a good friend for 70 years. The fine essays collected here are a fitting tribute to a most remarkable figure.” Noam Chomsky, Institute Professor Emeritus, Massachusetts Institute of Technology “In Engaging Putnam excellent philosophers engage the writings and ideas of Hilary Putnam, one of the most productive and influential philosophers of the last century. Putnam stands out because of the combination of brilliance and a firm grasp of reality he brought to a very broad range of issues: the logic and the philosophy of mathematics, free-will, skepticism, realism, internalism and externalism and a lot more. Along with this he offered penetrating insights about other great philosophers, from Aristotle to Wittgenstein. All great philosophers make us think. With many, we try to figure out the strange things they say. With Putnam, we are made to think about clearly explained examples and arguments that get to the heart of the issues he confronts. This book is a wonderful contribution to the continuation of Putnam-inspired thinking.” John Perry, Emeritus Professor of Philosophy, Stanford University







Business Research Methodology (With Cd)


Book Description

Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.




The Best Writing on Mathematics 2019


Book Description

An anthology of the year's finest writing on mathematics from around the world, featuring promising new voices as well as some of the foremost names in mathematics.




Milestones in Analog and Digital Computing


Book Description

This Third Edition is the first English-language edition of the award-winning Meilensteine der Rechentechnik; illustrated in full color throughout in two volumes. The Third Edition is devoted to both analog and digital computing devices, as well as the world's most magnificient historical automatons and select scientific instruments (employed in astronomy, surveying, time measurement, etc.). It also features detailed instructions for analog and digital mechanical calculating machines and instruments, and is the only such historical book with comprehensive technical glossaries of terms not found in print or in online dictionaries. The book also includes a very extensive bibliography based on the literature of numerous countries around the world. Meticulously researched, the author conducted a worldwide survey of science, technology and art museums with their main holdings of analog and digital calculating and computing machines and devices, historical automatons and selected scientific instruments in order to describe a broad range of masterful technical achievements. Also covering the history of mathematics and computer science, this work documents the cultural heritage of technology as well.