Re:Ask HN: What's an unsolved problem in your field?
by kawzeg on Friday April 17, 2020 @11:59AM
(#22900136)
I remember minikanren being able to generate expressions that evaluate to a value.
In general, I guess the search space of all algorithms that might or might not solve a problem is simply extremely huge, so you'd need some good heuristics to find an interesting algorithm.
I can't think of any reason why there would be a theoretical limit on this, but I'm no expert in this.
In general, I guess the search space of all algorithms that might or might not solve a problem is simply extremely huge, so you'd need some good heuristics to find an interesting algorithm.
I can't think of any reason why there would be a theoretical limit on this, but I'm no expert in this.