MATH
Login Or Sign up

List Question

15
799
Views

How can I create a mapping reduction from a decidable language to the halting problem and also prove it?

Published on
#computability
62
Views

Numbering of prime enumerating functions

Published on
#computability
143
Views

How can I show that a maximal set is simple?

Published on
#logic #computability
143
Views

Is this imply that this problem of twin primes is Partially Decidable

Published on
#computability #computational-mathematics
132
Views

$\Sigma^1_1$-complete set of natural numbers of non-logical nature

Published on
#combinatorics #logic #computability #decision-problems
72
Views

Length of a Deduction

Published on
#first-order-logic #computability #peano-axioms
38
Views

Does there exist a $\mu$-recursive quasirandom sequence?

Published on
#probability #probability-theory #convergence-divergence #computability #parameter-estimation
30
Views

About undecidability and provability

Published on
#logic #computability
123
Views

Rosser's trick practice exam question

Published on
#computability #solution-verification #incompleteness
150
Views

Is it possible to find infinitely many computable and non-computable functions that provide the following conditions?

Published on
#calculus #limits #summation #infinity #computability
343
Views

The halting problem and Diophantine equation

Published on
#reference-request #computability
69
Views

Extending a 1-reduction

Published on
#computability
38
Views

Is $f(A) \in \Delta_n$ if $A \in \Delta_n$ when $f$ is computable?

Published on
#computability
203
Views

Find the $Θ$ of $∑\log\log k$?

Published on
#algorithms #computational-complexity #recursion #computability
95
Views

Decidability of halting problem for special kind of automata

Published on
#computability #formal-languages #automata #decidability #decision-problems

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.