New posts in Computability

Where in the analytic hierarchy is the theory of true set theory?

Gödel's beta function, without the Chinese remainder theorem

Meta proof-searching

explicit upper bound of TREE(3)

Fast-growing noncomputable functions

Countable choice and term extraction

Primitive recursion and $\Delta^0_0$

There is a subset of positive integers which no computer program can print

Who first discovered that some R.E. sets are not recursive?

Can we find a formula defining a recursively enumerable set?