The Incomputable

• Hardcover | Engels | Theory and Applications of Computability
• This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontin... Lees meer

Handbook of Computability and Complexity in Analysis

• Paperback | Engels | Theory and Applications of Computability
• Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was mo... Lees meer

Programs as Diagrams

Dusko Pavlovic

• Hardcover | Engels | Theory and Applications of Computability
• It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a dia... Lees meer

Turing Computability

Robert I Soare

• Hardcover | Engels | Theory and Applications of Computability
• Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual c... Lees meer

Higher-Order Computability

John Longley, Dag Normann

• Paperback | Engels | Theory and Applications of Computability
• This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be... Lees meer

Algorithmic Randomness and Complexity

Rodney G Downey, Denis R Hirschfeldt

• Hardcover | Engels | Theory and Applications of Computability
• Computability and complexity theory are two central areas of research in theoretical computer science. Until recently, most work in these areas concen... Lees meer

Reverse Mathematics

Damir D Dzhafarov, Carl Mummert

• Hardcover | Engels | Theory and Applications of Computability
• Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove... Lees meer

Algorithmic Randomness and Complexity

Rodney G Downey, Denis R Hirschfeldt

• Paperback | Engels | Theory and Applications of Computability
• Computability and complexity theory are two central areas of research in theoretical computer science. Until recently, most work in these areas concen... Lees meer

Handbook of Computability and Complexity in Analysis

• Hardcover | Engels | Theory and Applications of Computability
• Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was mo... Lees meer

Apartness and Uniformity

Douglas S Bridges, Luminiţa Simona Vîţă

• Paperback | Engels | Theory and Applications of Computability
• The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being ap... Lees meer

Restarting Automata

Friedrich Otto

• Hardcover | Engels | Theory and Applications of Computability
• The subject of this monograph are restarting automata. The definition of these automata is motivated by the linguistic technique of analysis by reduct... Lees meer

Reverse Mathematics

Damir D Dzhafarov, Carl Mummert

• Paperback | Engels | Theory and Applications of Computability
• Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove... Lees meer

Programs as Diagrams

Dusko Pavlovic

• Paperback | Engels | Theory and Applications of Computability
• It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a dia... Lees meer

Higher-Order Computability

John Longley, Dag Normann

• Hardcover | Engels | Theory and Applications of Computability
• This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be... Lees meer

Turing Computability

Robert I Soare

• Paperback | Engels | Theory and Applications of Computability
• Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual c... Lees meer

The Incomputable

• Paperback | Engels | Theory and Applications of Computability
• This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontin... Lees meer

Apartness and Uniformity

Douglas S Bridges, Luminiţa Simona Vîţă

• Hardcover | Engels | Theory and Applications of Computability
• The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being ap... Lees meer

Computational Artifacts

Raymond Turner

• Paperback | Engels | Theory and Applications of Computability
• Essential contribution to the philosophy of computer science Advances the notion of a technical artifact Appeals to computer scientists and philosophe... Lees meer