MATH
Login Or Sign up

List Question

15
1.1k
Views

What is the difference between Turing-reducibility and m-reducibility?

Published on
#logic #computability
32
Views

Computability of function of two arguments.

Published on
#computability
144
Views

Difference between Kleene's O and the system $S_1$

Published on
#computability #ordinals #transfinite-recursion
322
Views

Is there literature on non-computable numbers that can't be even be identified?

Published on
#set-theory #computer-science #real-numbers #computability
227
Views

How to prove that class of “recursive” and “recursively enumerable” languages are not equal?

Published on
#computability #recursive-algorithms #turing-machines
219
Views

proof that Ackermannfunction is uniquely defined and finding algorithm without recursions to calculate its values

Published on
#recursion #computability #recursive-algorithms #ackermann-function
640
Views

Is Chaitin's constant well-defined?

Published on
#logic #definition #computability
266
Views

Ultratasks in the ITTM Model

Published on
#set-theory #computability #turing-machines #transfinite-recursion
1k
Views

What exactly does it mean for an Infinite Time Turing Machine to reach stage $\omega$ (and limit ordinal stage)?

Published on
#logic #computability #ordinals #turing-machines
488
Views

Prove that EXT,TOT and INF are not recursively enumerable

Published on
#computability
218
Views

proof that specific disjoint sets are recursively enumerable, but don't lie in a decidable set and its complement

Published on
#computability #decidability
36
Views

Doubt regarding the variable by which time complexity is measured

Published on
#graph-theory #asymptotics #computational-complexity #computability
242
Views

Proof that specific function is primitive recursive

Published on
#logic #first-order-logic #predicate-logic #recursion #computability
707
Views

Proving that sets are recursive

Published on
#computability
714
Views

Prove that function is totally computable

Published on
#computability

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.