Church's theorem

  1. REDIRECT Entscheidungsproblem#Negative answer

{{R to section}}