Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications

Rod Downey

ISBN 10: 3031537432 / ISBN 13: 9783031537431

Published by Springer Nature Switzerland, Springer International Publishing, 2024

About this Item

Druck auf Anfrage Neuware - Printed after ordering - This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. Computability theory is the part of mathematics and computer science which seeks to clarify what we mean by computation or algorithm. When is there a computational solution possible to some question How can we show that none is possible How computationally hard is the question we are concerned with Arguably, this area lead to the development of digital computers. (Computational) complexity theory is an intellectual heir of computability theory. Complexity theory is concerned with understanding what resources are needed for computation, where typically we would measure the resources in terms of time and space. Can we perform some task in a feasible number of steps Can we perform some algorithm with only a limited memory Does randomness help Are there standard approaches to overcoming computational difficulty.

Seller Inventory # 9783031537431

Bibliographic Details

• Title: Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
• Publisher: Springer Nature Switzerland, Springer International Publishing
• Publication Date: 2024
• Language: English
• ISBN 10: 3031537432
• ISBN 13: 9783031537431
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 21D millimeters 235 millimeters width by 155 millimeters height by 21 millimeters depth
• Weight: 569 grams

About this title

Synopsis

This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. Computability theory is the part of mathematics and computer science which seeks to clarify what we mean by computation or algorithm. When is there a computational solution possible to some question? How can we show that none is possible? How computationally hard is the question we are concerned with? Arguably, this area lead to the development of digital computers. (Computational) complexity theory is an intellectual heir of computability theory. Complexity theory is concerned with understanding what resources are needed for computation, where typically we would measure the resources in terms of time and space. Can we perform some task in a feasible number of steps? Can we perform some algorithm with only a limited memory? Does randomness help? Are there standard approaches to overcoming computational difficulty?

About the Author

Rodney Downey is an Emeritus Professor at Victoria University of Wellington, NZ. He is the co-author of the Springer books, Fundamentals of Parameterized Complexity, and Algorithmic Randomness and Complexity.  He has won many prizes for his work, including (twice) the Shoenfield Prize for writing, as well as the Rutherford Medal, New Zealand’s premier science award.