New posts in Computability

Prove Gödel's incompleteness theorem using halting problem

Can someone explain the Y Combinator?

Easy proofs of the undecidability of Wang's tiling problem?

Example of a not recursively enumerable set $A \subseteq \mathbb{N}$

Is it possible to solve any Euclidean geometry problem using a computer?

Recognizable vs Decidable

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

The word problem for finite groups

"Proof" that ZFC is inconsistent using Turing machines

What's a Turing machine?