Narrow your search
Listing 1 - 3 of 3
Sort by

Book
The nature of physical computation
Author:
ISBN: 0197552412 0197552390 0197552404 0197552382 Year: 2022 Publisher: New York, New York : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

What does it mean to say that an object or system computes? What is it about laptops, smartphones, and nervous systems that they are considered to compute, and why does it seldom occur to us to describe stomachs, hurricanes, rocks, or chairs that way? Though computing systems are everywhere today, it is very difficult to answer these questions. The book aims to shed light on the subject by arguing for the semantic view of computation, which states that computing systems are always accompanied by representations. This view is presented as an alternative to non-semantic views such as the mechanistic account of computation.


Book
Computability
Authors: --- ---
ISBN: 0262527480 0262312670 0262312689 9781461931843 1461931843 9780262312677 9780262312660 0262312662 1299688004 9781299688001 9780262312684 9780262018999 0262018993 9780262527484 Year: 2013 Publisher: Cambridge, Massachusetts The MIT Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

"In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics."


Book
The Turing guide
Authors: --- --- --- --- --- et al.
ISBN: 9780198747833 0198747837 9780198747826 Year: 2017 Publisher: [Oxford : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebrated with much media coverage, and several meetings, conferences and books raising public awareness of Turing's life and work. This volume will bring together contributions from some of the leading experts on Alan Turing to create a comprehensive guide to Turing that will serve as a useful resource for researchers in the area as well as the increasingly interested general reader. The book will cover aspects of Turing's life and the wide range of his intellectual activities, including mathematics, code-breaking, computer science, logic, artificial intelligence and mathematical biology, as well as his subsequent influence. [Publisher]

Listing 1 - 3 of 3
Sort by