<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">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.</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">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.</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><a href="https://complexityzoo.net/Complexity_Zoo">https://complexityzoo.net/Complexity_Zoo</a><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><a href="https://en.wikipedia.org/wiki/No_free_lunch_theorem">https://en.wikipedia.org/wiki/No_free_lunch_theorem</a><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><a href="https://en.wikipedia.org/wiki/Turing_machine">https://en.wikipedia.org/wiki/Turing_machine</a><br></div></div>