MATH
Login Or Sign up

List Question

15
139
Views

birthday problem near misses

Published on
#probability #combinatorics #statistics #computability
164
Views

Turing machine that converts contiguous strings

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

Classifying a set in the arithmetical hierarchy

Published on
#logic #computability
334
Views

Proof checking algorithms

Published on
#proof-verification #algorithms #computability
647
Views

Showing a set is not recursively enumerable

Published on
#logic #computability
868
Views

Why is the set $K$ recursively enumerable?

Published on
#combinatorics #computability #recursion #turing-machines
147
Views

Identifying cardinals in $\alpha$-recursion theory

Published on
#logic #set-theory #computability
175
Views

Any PRC class is closed under double recursion

Published on
#proof-verification #computability #computational-mathematics
92
Views

How hard can it be to find generators for an ideal in a polynomial ring?

Published on
#commutative-algebra #computability #groebner-basis
347
Views

Is $f: \mathbb{N} \to \mathbb{N}$ a computable function if it is : $1)$ nondecreasing; $2)$ nonincreasing

Published on
#algorithms #computability #turing-machines
289
Views

Is a set recursively enumerable iff it's a set of provable instances of a formula in Peano arithmetic?

Published on
#logic #first-order-logic #computability
4.5k
Views

Show that the Collatz Conjecture would be provable if we could solve the halting problem

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

First reflection theorem for $\Pi_1^1$ on $\Pi_1^1$ properties

Published on
#set-theory #proof-explanation #computability #descriptive-set-theory
77
Views

What's the difference between equality and equivalence of recursive functions?

Published on
#logic #computer-science #computability
950
Views

$\Delta_n^0$-complete sets in the arithmetical hierarchy

Published on
#computer-science #computational-complexity #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.