[FRIAM] Birds do it, monads and their algebras do it...

[Jon Zingale]

General truths are beautiful things, but too often they could not be
further from the whole story. It is wonderful that every computation under
the sun can be computed by a universal Turing machine, but at the end of
the day, no one is closer to knowing how best to program one for all
occasions, no closer to a free lunch.

By what procedure should one set out to discover an optimal search, to
search among stars for the perfect search. A zoo of computational
complexities point to the problem, and never before have we come so close
to a general truth about the enormity of our problems.

https://complexityzoo.net/Complexity_Zoo
https://en.wikipedia.org/wiki/No_free_lunch_theorem
https://en.wikipedia.org/wiki/Turing_machine
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20220324/54e059cf/attachment.html>