ON ANALOGUES OF THE CHURCH–TURING THESIS IN ALGORITHMIC RANDOMNESS (Q5737950): Difference between revisions

@@ Property / cites work @@
+Q5773777
@@ Property / cites work: Q5773777 / rank @@
+Normal rank
@@ Property / cites work @@
+A separation of two randomness concepts
@@ Property / cites work: A separation of two randomness concepts / rank @@
+Normal rank
@@ Property / cites work @@
+An Application of Martin-Löf Randomness to Effective Probability Theory
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities over rich languages, testing and randomness
+Normal rank
@@ Property / cites work @@
+Martin-Löf random points satisfy Birkhoff’s ergodic theorem for effectively closed sets
+Normal rank
@@ Property / cites work @@
+A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
+Normal rank
@@ Property / cites work @@
+The perception of randomness
@@ Property / cites work: The perception of randomness / rank @@
+Normal rank
@@ Property / cites work @@
+A unified approach to the definition of random sequences
+Normal rank
@@ Property / cites work @@
+Algorithmic information theory and undecidability
@@ Property / cites work: Algorithmic information theory and undecidability / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of Kurtz randomness by a differentiation theorem
+Normal rank
@@ Property / cites work @@
+The definition of random sequences
@@ Property / cites work: The definition of random sequences / rank @@
+Normal rank