used_noise

No worries, I agree it is less clear than it could be, given the shift in time between question and answer.

Right, the person who now has that title was involved in the revolution, but thank you for sharing, maybe that is a new fact to someone.

Well, 1978, although I am not saying I agree with the equivalence.

I'm not convinced that blind mathematicians count as their own species, nor that they echolocate, and so it doesn't seem to say much about his theory one way or the other.

Alice gives Bob a number, x, and tells Bob to calculate f(x), where f(x) is defined as the partial function with goedel index x applied to input x. She says that if or when Bob finishes, he should come bring her his answer and they'll get drinks together. Given parameter x, do Bob and Alice ever get drinks together?