[10825] by "FrereKhan" (bowerbird.qut.edu.au)
on Mon 15 Apr 2002 20:19:56
[ reply ] [ up ]
I can specify procedure metaG that decide wheter or not procedure G exists ie. if untityledgif problem is decidable. But oh no, will procedure metaG stop? Need to use cantor's diagonalisationality of FUNK!
If diagonalisationality method of FUNK is not available, Dylan's automated writing technique of banality will sffuice, although problem not solved.