MATH
Login Or Sign up

List Question

15
197
Views

Arithmetical Hierarchy

Published on
#computability #turing-machines
44
Views

Computability of Convergence

Published on
#sequences-and-series #convergence-divergence #computability
51
Views

Almost sure statements which don't hold for all Martin Löf random sequences

Published on
#computability #algorithmic-randomness
74
Views

Decider that reject All inputs if and only if Goldbach's conjecture has a counter example

Published on
#number-theory #computability #turing-machines #goldbachs-conjecture
80
Views

Can we compute the fugitive integers k(n)

Published on
#computability #pi
267
Views

Why is the following not a primitive recursive function?

Published on
#computational-complexity #recursion #computability
65
Views

What specifically is wrong with this naive approach to solve Hilbert's 10th problem over the rationals?

Published on
#logic #computability
219
Views

Connection between the $S_{mn}$-theorem and Gödel universal functions

Published on
#logic #definition #recursion #computability
53
Views

Equivalence of two versions of the $S_{mn}$-theorem

Published on
#logic #recursion #computability
481
Views

Are zero knowledge proofs probabilistic?

Published on
#logic #computational-complexity #computability
94
Views

Is it always true that $Aut_F(H_0) \cong Aut_F(H_1)$?

Published on
#abstract-algebra #group-theory #discrete-mathematics #computability #automorphism-group
52
Views

Functions defined at $0$ and undefined at $1$ is not a (co)computably enumerable set

Published on
#logic #solution-verification #recursion #computability
30
Views

$A\leq_m B$ and $B\in\Pi_n\implies A\in \Pi_n$

Published on
#logic #proof-explanation #recursion #computability
80
Views

A basic question about the definition of $\Sigma_n$ completeness

Published on
#logic #definition #recursion #computability
179
Views

Proper-$\Sigma_n$-ness of $\Sigma_n$-complete sets

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.