That seems likely. Of course, learning those logical facts might take similarly unreasonable time.
Considering this has given me the intuition that, while pulling the information out into the overall inductor is probably possible, it will be a conflicting goal with making a variant inductor that runs efficiently. This might be avoidable, but my intuition is gesturing vaguely in the direction of P v. NP, EXPTIME v. NEXPTIME for why it is likely not to be.
That seems likely. Of course, learning those logical facts might take similarly unreasonable time.
Considering this has given me the intuition that, while pulling the information out into the overall inductor is probably possible, it will be a conflicting goal with making a variant inductor that runs efficiently. This might be avoidable, but my intuition is gesturing vaguely in the direction of P v. NP, EXPTIME v. NEXPTIME for why it is likely not to be.