New Computational Paradigms Changing Conceptions of What is Computable /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cooper, S. Barry (Επιμελητής έκδοσης), Löwe, Benedikt (Επιμελητής έκδοσης), Sorbi, Andrea (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York, 2008.
• Θέματα: 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...