MATH
Login Or Sign up

List Question

15
46
Views

A version of SAT

Published on
#computability #turing-machines #satisfiability
417
Views

Are there new statement at every stage of the arithmetical hierarchy?

Published on
#logic #first-order-logic #computability
462
Views

Many-one Reduction of $K_0$ to $K$

Published on
#logic #proof-verification #computability
91
Views

Shewing that a problem reduces to the halting problem

Published on
#computability
973
Views

Non-computable Number Example

Published on
#computability
2.1k
Views

Is this number computable?

Published on
#computability #turing-machines
118
Views

Does Representability in PA imply Computability?

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

How to construct a strictly increasing function (eventually dominating any recursive total function)

Published on
#logic #computability #recursion
98
Views

Set theory computer science

Published on
#computer-science #computability
204
Views

Turing degrees in $\Sigma_3^0$ and $\Pi_1^0$ sets.

Published on
#logic #set-theory #computability #descriptive-set-theory
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
233
Views

Prove that a set is recursively enumerable using Kleene recursion theorem.

Published on
#computability #recursion
75
Views

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

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

The Entscheidungsproblem and the notion of decidability in first order logic

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