MATH
Login Or Sign up

List Question

15
86
Views

What are non-monotonous computable convergent sequences of rationals with non-computable rate of convergence?

Published on
#calculus #logic #computability
1.3k
Views

Unclear why (first order) satisfiability undecidable and not semi-decidable.

Published on
#logic #computability
241
Views

What is the meaning of 'recursive' in Boolos, Burgess and Jeffreys? (Computability and Logic)

Published on
#logic #computability #recursion
330
Views

Does semantic inconsistency guarantee syntactic inconsistency?

Published on
#logic #computability #incompleteness
892
Views

Primitive recursion and $\Delta^0_0$

Published on
#logic #computability #recursion #meta-math
82
Views

Why is $f(x)=x^{2}+1$ a primitive recursive function?

Published on
#computability #recursion
262
Views

What does "Turing-complete" really mean?

Published on
#logic #computability
60
Views

Hardness of index sets for computable structures

Published on
#logic #model-theory #computability
1k
Views

Rice's Theorem when only finite number of instructions run

Published on
#computability
237
Views

Where does this argument showing there are uncountably many TMs fail?

Published on
#computability #fake-proofs #turing-machines
390
Views

Values of the Sudan function

Published on
#elementary-number-theory #functions #special-functions #computability #recursive-algorithms
274
Views

Non-computable function having computable values on a dense set of computable arguments

Published on
#complex-analysis #functions #algorithms #computability
46
Views

Relationship between computability and growth rate

Published on
#computability
77
Views

Kolmogorov complexity, no description mechanism can improve on additively optimal/universal one infinitely often

Published on
#logic #computer-science #computational-complexity #computability #kolmogorov-complexity
318
Views

Every non-increasing sequence of polynomial towers stabilizes -- Finitary proof

Published on
#number-theory #logic #algorithms #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.