Synopsis
Dive into descriptive complexity and discover how randomness, optimal programs, and subrecursive ideas shape this branch of theory. This work presents foundational concepts and key results in a rigorous, approachable way.
The book surveys several formulations of descriptive complexity, explains how different definitions relate, and shows what these differences mean for infinite and finite strings. It uses clear, structured chapters to compare absolute and conditional complexity, introduce subrecursive approaches, and discuss the behavior of universal computers and optimal programs. Readers will see how ideas about randomness, immunity, and complexity interact across formulations.
- Learn how descriptive complexity is defined for binary strings and how randomness is characterized in this framework.
- Explore the concept of optimal programs and why their behavior differs across formulations.
- See how the theory extends to subrecursive formalisms and what that implies for limits of computation.
- Understand key proofs and the logical structure behind results about immune sets and universal computers.
Ideal for readers of theoretical computer science and mathematical logic seeking a rigorous treatment of descriptive complexity and its foundational questions.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Investigations in the Theory of Descriptive Complexity...
Image fournie par le vendeur
Investigations in the Theory of Descriptive Complexity (Classic Reprint)
impression à la demandeVendeur : Forgotten Books, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. Print on Demand. This book explores the fascinating concept of 'descriptive complexity' in computer science. The author presents various formulations of the notion of descriptive complexity, seeking to define and measure the randomness of infinite binary strings. The book considers how the complexity of a program might change when given more information about the object it operates on, such as its length. A key question is whether there exist truly random sequences or if all sequences can be described using some finite program. This question is explored through a 'subrecursive formulation' which places restrictions on the functions which can be computed. The author ultimately concludes that truly random sequences do exist and that they cannot be described using any finite program. This book will appeal to computer scientists, mathematicians, and anyone interested in the foundations of computing and information theory. Its insights into the nature of randomness and complexity provide valuable contributions to our understanding of these fundamental concepts. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. N° de réf. du vendeur 9781332145317_0
Acheter neuf
EUR 15,74
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Investigations in the Theory of Descriptive Complexity Classic Reprint
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781332145317
Acheter neuf
EUR 22,45
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Investigations in the Theory of Descriptive Complexity Classic Reprint
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781332145317
Acheter neuf
EUR 20,79
Expédition à EUR 3,77
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Investigations in the Theory of Descriptive Complexity (Classic Reprint)
Edité par
Forgotten Books, 2015
ISBN 10 : 1332145310
ISBN 13 : 9781332145317
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 26060872/1
Acheter D'occasion
EUR 9,49
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)