uncomputability proofs 2787670