I really think we're talking past each other, and that you must have some more restrictive definition of "algorithm" than me, because I'm reading that page and it walks you through an example in excruciating detail of how given a specification for "maximum", program synthesis produces an algorithm for computing "maximum".