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
29
Views

Computability of function of two arguments.

Published on
#computability
141
Views

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

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

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

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

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

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

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

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

Is Chaitin's constant well-defined?

Published on
#logic #definition #computability
260
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
485
Views

Prove that EXT,TOT and INF are not recursively enumerable

Published on
#computability
217
Views

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

Published on
#computability #decidability
33
Views

Doubt regarding the variable by which time complexity is measured

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

Proof that specific function is primitive recursive

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

Proving that sets are recursive

Published on
#computability
711
Views

Prove that function is totally computable

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