New posts in Computability

Prove existence of non-computable double argument function

The field of algebraic numbers as a recursive structure

Once a mathematical theorem is proven true like the Halting problem can it ever be disproven?

The halting problem is the most complicated of all recursively enumerable problems

Is the theory of the category of topological spaces computable?

Is it possible to put a topology on Turing-recognizable languages to express density among all the languages?

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

what is actually a "definable" real number?

Computable extension to $Σ_1$-sound system that is $Σ_2$-unsound?

Is this number computable?