Does anyone know of a good definition for nondeterministic algorithm that would be suitable for https://en.wikipedia.org/wiki/Nondeterministic_algorithm? I found this article the other day and I think the definition they open with is very misleading. I’ve seen the oracle definition of nondeterminism (it is actually mentioned in a reference at the bottom of the page), but that seems a bit too magical sounding for what nondeterminism actually means in practice.

Also, is there anyone that thinks the definition given on the wiki page is reasonable?

What parts are you worried are misleading? I think Wikipedia page matches my understanding of the term. I’ve seen someone make a finer distinction between “nondeterminism” and “indeterminism” in programming, but I don’t know if that’s related to what you have in mind.