MATH
Login Or Sign up

List Question

15
55
Views

How matrices operations are defined using ZFC axioms?

Published on
#matrices #logic #turing-machines
2.1k
Views

Is this number computable?

Published on
#computability #turing-machines
117
Views

Does Representability in PA imply Computability?

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

Is this language decidable or not?

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

Prove that this language is decidable or not

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

all finite start sequences of decimal representation of $\pi$ decidable?

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

Can we construct a universal Turing machine using only Peano's axioms for addition?

Published on
#arithmetic #turing-machines #incompleteness
1.4k
Views

Turing machine that accepts language in n+1

Published on
#turing-machines
576
Views

The Entscheidungsproblem and the notion of decidability in first order logic

Published on
#logic #computer-science #first-order-logic #computability #turing-machines
192
Views

Are all theories able to embed a universal Turing machine equivalent to one another?

Published on
#logic #turing-machines
94
Views

Construction of 2tape Turing machine

Published on
#computer-science #formal-languages #turing-machines
7k
Views

Convert binary number into unary in O(n)

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

Who was the first to show that there is a Universal Turing-Machine that uses a binary alphabet?

Published on
#math-history #computability #turing-machines
337
Views

reduction from VC to IS

Published on
#computational-complexity #computability #turing-machines #np-complete
2.8k
Views

Equivalent Turing machines

Published on
#computer-science #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.