A simple test for whether a mathematician describing an algorithm has ever really programmed is to ask "What exactly do you mean by 'Given an X...'?" (someone said that)