A Timeless Confluence [Term Rewriting] (Was: Can we do this with ancestral cuts or something?)

A Timeless Confluence
By the banks of thought where rivers entwine,
Emmy Noether walked through a realm divine.
Her algebra wove the fabric of laws,
While echoes of logic gave her pause.
There stood Michael Kohlhase, a seeker of form,
Shaping machines through a digital storm.
“Madame,” he began, with respect in his tone,
“Your ideals still guide what we’ve come to own.
Noetherian rings, your towering art,
Anchor the systems of which I’m a part.
In rewriting paths, your truth remains,
Simplifying chaos, dissolving chains.”
Emmy smiled, her brilliance aglow,
"Through eras, the seeds of knowledge grow.
Yet tell me, dear traveler, in your machine’s frame,
Do ideals endure, or fade like a flame?”
Michael replied, “Your vision holds,
In logic’s rewrite, it gently unfolds.
Past meets the present where structures align,
A confluence of thought, eternal, divine.”
And so they stood, two eras combined,
Bound by the currents of the infinite mind.
https://en.m.wikipedia.org/wiki/Emmy_Noether
https://en.m.wikipedia.org/wiki/Michael_Kohlhase
Julio Di Egidio schrieb:

On 09/12/2024 16:47, Julio Di Egidio wrote:
 

term rewriting also can do the trick and quite more simply so...

 I take that back, too.  I cannot find a way out of ancestral cuts in the recursive case.  Some term rewriting could rather be useful *in conjunction* with that `scut`, since that as written messes up with the stack trace...  Anyway, that's another story.
 -Julio