The incomputable : journeys beyond the Turing barrier /: journeys beyond the Turing barrier. (2017)

• Record Type: Book
• Further Information: Note: S. Barry Cooper, Mariya I. Soskova, editors.
• Editors: Cooper, S. B (S. Barry); Soskova, Mariya
• Contents: Part I, Challenging Turing: extended models of computation. Ivan Soskov: A life in computability -- Physical logic -- From quantum foundations via natural language meaning to a theory of everything. Part II, The search for "natural" examples of incomputable objects. Some recent research directions in the computably enumerable sets -- Uncomputability and physical law -- Algorithmic economics: incomputability, undecidability and unsolv­ability in economics. Part III, Mind, matter and computation. Is quantum physics relevant for life? -- Trouble with computation: a refutation of digital ontology. Part IV, The nature of information: complexity and randomness. Complexity barriers as independence -- Quantum randomness: from practice to theory and back -- Calculus of cost functions. Part V, The mathematics of emergence and morphogenesis. -- Turing's theory of morphogenesis: where we started, where we are and where we want to go -- Construction kits for biological evolution.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Copyright Date: 2017
• Extent: 1 online resource (292 pages)
• Subjects: 004.01/5113; Unsolvability (Mathematical logic); Computable functions; Logic, Symbolic and mathematical; Computable functions; Logic, Symbolic and mathematical; Unsolvability (Mathematical logic)
• Languages: English
• ISBNs: 9783319436692
• Related ISBNs: 9783319436678
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.