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.