bentonkek

Could you elaborate on how you use Hermes for symptom management? I'm especially interested in what it does that can't be done with the usual AI chatbot or agent.

Copernicus was an exception, not the rule. Would you say everyone else who lived at the time was not 'really' intelligent?

The same thing applies to undecidable problems. Yes, the halting problem is undecidable in the general case. But most real life programs are expected to always halt, or to repeatedly run a procedure that always halts (event loops, servers).

A trivial way to make sure a program halts is to add an upper bound on how much time it takes to run. A more complex way is using theorem provers. Turing completeness is usually not required for real life programs.