Not sure what the original German version was, but
falls-dann-sonst
would be more correct, since "wenn" is temporal, like the English "when".
Many Germans often use these wrongly in everyday speech, but mathematicians like Friedrich L. Bauer probably wouldn't.
Nitpick: "wenn" is both temporal and conditional, whereas "falls" is only conditional, therefore it is considered good style to use "falls" if you want to make totally clear what you mean. It is, however, perfectly fine to use "wenn" for a konditionalen Nebensatz.
> since "wenn" is temporal, like the English "when".
Nope, "wenn" is both "if" and "when", it's not limited to time.
Yeah, but "wenn-dann-sonst" rolls better off the tongue ;)
As a German, my experience is that the typical use of "wenn" is more often synonymous to the English "if", rather than the English "when". The meaning of "wenn" is contextual. Using "wenn" to for conditionals is not a mistake of everyday speech but rather a feature of the language.
The other German word "falls" is sometimes also translated as "if" but it carries a slightly different connotation. In typical use "falls" is used for an unlikely condition: "falls es morgen regnen sollte" -> "if it were to rain tomorrow". If "wenn" was used instead of "falls", the connotation would be more like a 50/50 probability. In the end, the if/when split of English is really not the same as the falls/wenn split of German. For computer programming "wenn" would likely have been preferred by German programmers.