New Computational Paradigms Changing Conceptions of What is Computable /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Cooper, S. Barry (Editor), Löwe, Benedikt (Editor), Sorbi, Andrea (Editor)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York, 2008.
• Subjects: Computer science.; Philosophy.; Computers.; Computer science > Mathematics.; Mathematical logic.; Quantum physics.; Quantum computers.; Spintronics.; Computer Science.; Math Applications in Computer Science.; Theory of Computation.; Mathematical Logic and Foundations.; Philosophy, general.; Quantum Physics.; Quantum Information Technology, Spintronics.

In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work...