Comment Comment by erichocean I do not encourage you to look at the diagonalization argument, it has similarly uncomputable elements (that take "longer than infinite" time because they are unconstructable). parent erichocean 18 days ago