List of geometers

... they aren't even recursively enumerable. One example is this problem: Given a program, input parameters, and a prediction about whether it will eventually halt, is that ...