Church's theorem proves the undecidability of fundamental decision problems in logic, like…
Sign in to your account
Remember me
