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

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

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. This book provides a systematic, technical deve... 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

Apartness and Uniformity

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

• Hardcover | Engels | Theory and Applications of Computability
• The Constructive Framework.- Point-Set Apartness.- Apartness Between Sets.- Postlude: Paths to Topology.- References.- Index. 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

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

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

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

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. This book provides a systematic, technical deve... 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

Computational Artifacts

Raymond Turner

• Paperback | Engels | Theory and Applications of Computability
• The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer scie... 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

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

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

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

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

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