MATH
Login Or Sign up

List Question

15
611
Views

Is there an infinite set of strings whose Kolmogorov complexities are computable?

Published on
#computability #kolmogorov-complexity
319
Views

How to assess the complexity of a string

Published on
#reference-request #kolmogorov-complexity
2.3k
Views

Minimal Turing machines are not recursively enumerable & Kolmogorov complexity is uncomputable

Published on
#computability #kolmogorov-complexity
4.5k
Views

Proof that the set of incompressible strings is undecidable

Published on
#computability #kolmogorov-complexity
6.6k
Views

Question about the definition of "Prefix free"

Published on
#computability #kolmogorov-complexity
416
Views

The minimal number of states required to run Goldbach's Conjecture

Published on
#computer-science #kolmogorov-complexity
551
Views

Does the $k$th forward difference of Radó's $\Sigma$ eventually dominate every computable function?

Published on
#reference-request #computer-science #computability #kolmogorov-complexity
330
Views

Solovay Randomness

Published on
#computational-complexity #computability #kolmogorov-complexity #random
46
Views

Is it really true that $K(x|y) = K(x,y) - K(y)$?

Published on
#computability #kolmogorov-complexity
98
Views

Kolmogorov complexity of sequence and its fragment

Published on
#kolmogorov-complexity
77
Views

Respective complexities of a string and its substring

Published on
#kolmogorov-complexity
418
Views

The philosophical significance of Chaitin's Theorem

Published on
#logic #philosophy #incompleteness #kolmogorov-complexity
173
Views

How to universalize $\text{Prov}(\ulcorner y < K(x)\urcorner) \to y < K(x)$ in a paper of Kikuchi

Published on
#logic #peano-axioms #incompleteness #kolmogorov-complexity
199
Views

Recursion theoretic definition of Kolmogorov complexity

Published on
#logic #computability #kolmogorov-complexity
249
Views

Formalization in PA in the Kritchman-Raz proof

Published on
#logic #peano-axioms #kolmogorov-complexity

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.