MATH
Login Or Sign up

List Question

15
191
Views

Explicit Turing reduction of $0''$ to TOT

Published on
#logic #computability
148
Views

How many "$Q$-like" sentences are there?

Published on
#logic #model-theory #computability #lattice-orders #proof-theory
152
Views

Why is minimization (always) effectively computable?

Published on
#logic #recursion #computability
284
Views

Equivalent definitions of $\omega_1^{\mathrm{CK}}$

Published on
#set-theory #computability
516
Views

Computational complexity of real numbers

Published on
#real-analysis #reference-request #computational-complexity #computability
336
Views

How exactly do diophantine polynomial equations map to turing machines?

Published on
#number-theory #diophantine-equations #computability #turing-machines #decidability
130
Views

Why are constructible numbers strict proper subsets of computable numbers?

Published on
#number-theory #euclidean-geometry #computer-science #computability
281
Views

How to prove the diagonal Lemma

Published on
#logic #computability #incompleteness
94
Views

Is signum a computable function?

Published on
#computability #computational-mathematics
99
Views

Can we tell if a given rational point is a point on the Sierpiński triangle?

Published on
#geometry #triangles #computability #computational-geometry #fractals
56
Views

The class of primitive recursive functions

Published on
#recursion #computability #turing-machines
42
Views

Clarification on Defining Partial Recursive Functions

Published on
#logic #recursion #computability
49
Views

How does this integer division work?

Published on
#functions #computability
226
Views

$A$ are the even numbers, is there a non-computable set $B$ such that $A\nleq_1 B$?

Published on
#discrete-mathematics #logic #computational-complexity #computability
128
Views

Prove that $A^{(\omega)}\nleq_T A^{(n)}$

Published on
#discrete-mathematics #logic #computability #turing-machines

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.