MATH
Login Or Sign up

List Question

15
236
Views

What is the relationship between Kolmogorov Complexity and Turing Machines?

Published on
#turing-machines #kolmogorov-complexity
266
Views

How to prove a turing machine is decidable which accepts ⟨A, B⟩ | A and B are NFAs and L(A) ⊆ L(B).

Published on
#turing-machines #decidability
90
Views

What does an optimal Turing Machine mean?

Published on
#elementary-set-theory #turing-machines #kolmogorov-complexity
208
Views

If NL = P, prove that P!=PSPACE

Published on
#computational-complexity #turing-machines
515
Views

Prove that there's no decidable language that separates two other languages.

Published on
#computer-science #computational-complexity #computability #turing-machines #decidability
154
Views

What does it mean for a language to be sparse?

Published on
#formal-languages #automata #turing-machines
62
Views

HexLife: Turing complete?

Published on
#turing-machines #decidability #cellular-automata
201
Views

Is there a particular Turing Machine which halting is undecidable in all formal systems?

Published on
#set-theory #computability #turing-machines #tiling
111
Views

Countability of computable real numbers

Published on
#elementary-number-theory #real-numbers #turing-machines
200
Views

Why is the post correspondence problem undecidable?

Published on
#turing-machines #decidability
117
Views

Is the set of Turing Machines decidable in ZFC non-recursive?

Published on
#set-theory #computability #turing-machines
183
Views

Is there some kind of equivalence between Turing Machines and a formal system of axioms?

Published on
#logic #computability #turing-machines
179
Views

Turing Machines independent of ZFC

Published on
#logic #computability #turing-machines
357
Views

Halting problem reduction, what am i doing wrong

Published on
#computer-science #computability #turing-machines
77
Views

Polynomial time reduction from a language not in $\mathcal{NP}$

Published on
#computer-science #computability #turing-machines

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.