Simplicity via provability for universal prefix-free Turing machines (Q616504): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963427251
@@ Property / OpenAlex ID: W2963427251 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57001536
@@ Property / Wikidata QID: Q57001536 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3235
@@ Property / arXiv ID: 0906.3235 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806962
@@ Property / cites work: Q4806962 / rank @@
+Normal rank
@@ Property / cites work @@
+Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness.
+Normal rank
@@ Property / cites work @@
+Q5188206
@@ Property / cites work: Q5188206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584055
@@ Property / cites work: Q3584055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5188221
@@ Property / cites work: Q5188221 / rank @@
+Normal rank
@@ Property / cites work @@
+Every computably enumerable random real is provably computably enumerable random
+Normal rank
@@ Property / cites work @@
+Q4381402
@@ Property / cites work: Q4381402 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of left-computable \(\varepsilon \)-random reals
+Normal rank
@@ Property / cites work @@
+Universal Recursively Enumerable Sets of Strings
@@ Property / cites work: Universal Recursively Enumerable Sets of Strings / rank @@
+Normal rank
@@ Property / cites work @@
+On universal computably enumerable prefix codes
@@ Property / cites work: On universal computably enumerable prefix codes / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Program Size Formally Identical to Information Theory
+Normal rank
@@ Property / cites work @@
+Q5321501
@@ Property / cites work: Q5321501 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302560
@@ Property / cites work: Q5302560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness and Recursive Enumerability
@@ Property / cites work: Randomness and Recursive Enumerability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5393491
@@ Property / cites work: Q5393491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586325
@@ Property / cites work: Q5586325 / rank @@
+Normal rank
@@ Property / cites work @@
+Four Small Universal Turing Machines
@@ Property / cites work: Four Small Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Small Semi-weakly Universal Turing Machines
@@ Property / cites work: Small Semi-weakly Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Small Universal Turing Machines
@@ Property / cites work: The Complexity of Small Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150942
@@ Property / cites work: Q3150942 / rank @@
+Normal rank