MATH
Login Or Sign up

List Question

15
6.1k
Views

Non-Turing Recognisable Languages

Published on
#computability #turing-machines #decidability
443
Views

Could quantum computing help resolve some computability problems like p vs np or the halting problem?

Published on
#computer-science #computational-complexity #computability
88
Views

Confusion about $\omega^{CK}_{\omega_1+1}$

Published on
#computability #ordinals
47
Views

Soare Exercise IV. 4.7

Published on
#logic #computability
778
Views

A turing machine which computes the same language as a "stay put" turing machine

Published on
#computability #turing-machines
508
Views

Showing that a function is not computable.

Published on
#computability
969
Views

A is recursive iff A is the range of an increasing function which is recursive

Published on
#logic #proof-verification #computability
1.5k
Views

When is a Decidable Set Decidable?

Published on
#computability #peano-axioms
982
Views

Reduction from HALT on any string to HALT on empty string

Published on
#computer-science #computability
200
Views

Showing a Problem Is Undecidable

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

Is the proof of the uncomputability of the following function correct?

Published on
#computability
108
Views

Using diagonal argument to prove that H(x)=μyT(x,x,y) has no total computable extension

Published on
#computability
1.4k
Views

If the union of two languages is NP-complete, is one of them NP-complete?

Published on
#computer-science #computational-complexity #computability
57
Views

Decidability of a set

Published on
#computability
25
Views

Program with no intermediary states

Published on
#computability

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.