MATH
Login Or Sign up

List Question

15
65
Views

Given a non recursive set $A$, is it always true for a set of odd or for a set of even numbers of the set $A$ to be non recursive?

Published on
#recursion #computability
103
Views

Why is the empty function $\mu$-recursive?

Published on
#logic #recursion #computability #recursive-algorithms
34
Views

Number of times $\mu$-operator needs to be used

Published on
#logic #recursion #computability #recursive-algorithms
45
Views

Proof of that there is no uniform proof of the Effective Dushnik-Miller conjecture.

Published on
#computability #reverse-math
60
Views

Proving that an undefined function belongs to the set $\{ \phi : \mathbb{N} \rightarrow \mathbb{N} | \phi \downarrow \wedge \phi(n)\leq 2021$ any n}

Published on
#logic #recursion #computability
180
Views

Is there a noncomputable set whose noncomputability is hard to witness?

Published on
#logic #computability
233
Views

Give an example of a language $A$ that is recursively enumerable but isn't recursive, and a recursive language $B$ such that $A\cap B$ isn't recursive

Published on
#computability #turing-machines
494
Views

Give an example of a Turing Machine that accepts, but doesn't recognize the language $A=\{ 0, 11 \} \subseteq \{0,1\}*$

Published on
#computability #turing-machines
130
Views

If a proposition has only intractably large counterexamples, is it effectively true?

Published on
#logic #soft-question #examples-counterexamples #computability
91
Views

Is this kolmogorov complexity inequality true?

Published on
#computability #information-theory #kolmogorov-complexity
69
Views

An algorithm for enumerating subsequences of all infinite binary sequences?

Published on
#computability #turing-machines #algorithmic-randomness
82
Views

Lambda representability for boolean function

Published on
#logic #computer-science #propositional-calculus #computability #lambda-calculus
173
Views

Beta reducing $SS(SK)$ using SKI calculus

Published on
#discrete-mathematics #computer-science #computability #lambda-calculus #combinatory-logic
103
Views

Boolean function encoded with lambda calculus

Published on
#logic #computer-science #propositional-calculus #computability #lambda-calculus
113
Views

Equivalence of two definitions of a computably enumerable set

Published on
#logic #recursion #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.