They don’t need to understand it, they just need to ask it a question that refers to it and some surrounding algorithmic structure to create the paradox.
A well prepared mathematician, skeptical of the functioning of the oracle devices could speak that question in a few minutes.