Listing 1 - 2 of 2 |
Sort by
|
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
Computer music --- Musical analysis --- Information storage and retrieval systems --- Music History & Criticism, Instrumental --- Computer Science --- Engineering & Applied Sciences --- Music --- Music, Dance, Drama & Film --- Data processing --- Computer sound processing --- Sound processing, Computer --- Computer science. --- Music. --- Computer communication systems. --- Database management. --- Information storage and retrieval. --- Multimedia information systems. --- Application software. --- Computer Science. --- Computer Communication Networks. --- Database Management. --- Information Storage and Retrieval. --- Multimedia Information Systems. --- Computer Appl. in Arts and Humanities. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Art music --- Art music, Western --- Classical music --- Musical compositions --- Musical works --- Serious music --- Western art music --- Western music (Western countries) --- Informatics --- Science --- Distributed processing --- Electronic digital computers --- Sound --- Recording and reproducing --- Digital techniques --- Information storage and retrieva. --- Multimedia systems. --- Information systems. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Computermuziek --- Hedendaagse muziek --- 21e eeuw
Listing 1 - 2 of 2 |
Sort by
|