Listing 1 - 3 of 3 |
Sort by
|
Choose an application
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.
Computers --- Computer science --- Semantic computing. --- Philosophy.
Choose an application
"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."
Computational complexity. --- Mathematics --- Philosophy. --- Logic of mathematics --- Mathematics, Logic of --- Complexity, Computational --- Electronic data processing --- Machine theory --- COMPUTER SCIENCE/General --- MATHEMATICS & STATISTICS/General --- PHILOSOPHY/General --- Computational complexity --- Philosophy --- Computerwetenschappen --- Filosofie
Choose an application
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]
Mathematicians --- Computers --- Cryptography. --- Mathématiciens --- Ordinateurs --- Cryptographie. --- History. --- Histoire. --- Turing, Alan, --- Turing, Alan Mathison
Listing 1 - 3 of 3 |
Sort by
|