Del 1 i serien Cambridge Tracts in Theoretical Computer Science
636 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.
Beskrivning
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of a universal computer if its program is chosen by tossing a coin. The other half is concerned with encoding the halting probability as an algebraic equation in integers, a so-called exponential diophantine equation.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Information, Randomness And Incompleteness: Papers On Algorithmic Information Theory (2nd Edition)
CHAITIN G J, Gregory J Chaitin
Inbunden
1 876 kr
Information, Randomness And Incompleteness: Papers On Algorithmic Information Theory (2nd Edition)
CHAITIN G J, Gregory J Chaitin
Häftad
807 kr
Hoppa över listan
Mer från samma serie
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
618 kr
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad
685 kr
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
916 kr
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
618 kr
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
645 kr
Hoppa över listan
Du kanske också är intresserad av
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
618 kr
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
645 kr
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
916 kr
Topology via Logic
Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
636 kr
Updating Logical Databases
Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
509 kr
Logic and Computation
Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
692 kr
Formal Methods in Artificial Intelligence
Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
563 kr
The Optimal Implementation of Functional Programming Languages
Andrea Asperti, Stefano Guerrini, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Inbunden
1 092 kr
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
618 kr