DIAGONAL\(n\): if\(HALT\(n,n\)\)return 1 if M\_n==0 else 0 else return 0
This can be formatted better. Also I think there is a typo with else 0?
by Alexei Andreev Jun 11 2016
DIAGONAL\(n\): if\(HALT\(n,n\)\)return 1 if M\_n==0 else 0 else return 0
This can be formatted better. Also I think there is a typo with else 0?