Computability Theory § Group: 5 #group-5 Relations § Undecidability: Undecidability is a central concept in computability theory, which studies the limits of what can be computed.