MATH
Login Or Sign up

List Question

15
77
Views

Equivalence of UTM

Published on
#set-theory #turing-machines
1.9k
Views

How do I show 3-SAT is decidable?

Published on
#computer-science #regular-language #turing-machines #satisfiability #decidability
2.4k
Views

Decidable and Turing-recognizable languages closed under subtraction

Published on
#formal-languages #turing-machines
3.1k
Views

General approach for proving decidability/undecidability

Published on
#turing-machines
2k
Views

Simulating non-deterministic Turing Machine with 3 - Tape.

Published on
#turing-machines
3.7k
Views

What is the difference between a shuffle and a permutation?

Published on
#formal-languages #turing-machines
144
Views

undecidability of halting

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

Proving the language 2-SIMPLE-PATH is in NL

Published on
#graph-theory #computational-complexity #turing-machines #np-complete
67
Views

which notion of provability in Turing's paper 1936?

Published on
#logic #first-order-logic #turing-machines #decidability
48
Views

What is the exact difference that makes Chaitin's number uncomputable while this other number (from another post) computable?

Published on
#computability #turing-machines #chaitin-constant
94
Views

turing machine show equivalence

Published on
#turing-machines
75
Views

Explanation of a few points in Alan Turing's, 'On the Computable Numbers'

Published on
#turing-machines
91
Views

For an Infinite Time Turing Machine, if a 0 turns to a 1 at some limit stage, will it be a 1 at all future limit stages?

Published on
#logic #infinity #computability #turing-machines
73
Views

Busy beaver on right-moving turing machine?

Published on
#computer-science #automata #turing-machines
60
Views

Prove that the following problem is undecidable by a reduction from the halting problem:

Published on
#discrete-mathematics #computability #automata #turing-machines #decidability

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.