New posts in computability

How does Borelness overlap with definability, computability, or constructiveness?

logic computability descriptive-set-theory

Consistency strength of Turing measurability

reference-request set-theory computability descriptive-set-theory forcing

Gödel's completeness theorem and the undecidability of first-order logic

logic first-order-logic computability incompleteness decidability

How can know if a proof technique can actually prove something? Specifically, induction

logic induction computability proof-theory

Can we compute all digits of the Euler-Mascheroni constant?

calculus computability computational-mathematics

Is the theory of the category of topological spaces computable?

general-topology logic category-theory computability

What philosophical consequence of Goedel's incompleteness theorems?

logic computability philosophy incompleteness

Is there such a thing as a countable set with an uncountable subset?

elementary-set-theory computability

The range of a non-computable function that grows faster than computable functions is undecidable

discrete-mathematics logic computability decidability

Explicit automorphisms of the field of algebraic numbers

algebraic-number-theory computability

Primitive recursive function which isn't $\Delta_0$

logic computability recursion

Lambda Calculus Beta reductions

discrete-mathematics computer-science computability lambda-calculus

finding the computable function in s-m-n theorem.

computer-science computability

Is there a rote algorithm to tell whether a tensor (of two vectors) can be reduced to an elementary tensor?

linear-algebra tensor-products computability

How can Busy beaver($10 \uparrow \uparrow 10$) have no provable upper bound?

computability turing-machines

Mathematical Notation and its importance

logic soft-question notation computability philosophy

Density of halting Turing machines

computer-science computability

Given any computable number, is there any algorithm to decide whether it is transcendental?

number-theory computability

Is the Collatz conjecture in $\Sigma_1 / \Pi_1$?

logic recreational-mathematics computability

Running an infinite amount of Turing Machine steps in a finite amount of time: What consequences?

logic set-theory first-order-logic computability turing-machines