What are the best tools you have seen to keep track of knowledge around testable statements?
Hey all, I have been working on a way to keep track of testable statements, do you know of any such tools? The one I have focused on is this one: https://questpowered.com , but I would be curious to know of other ones.
Would this be a concrete example of the above:
We have two states S=0, S=1 as inputs, channel k1 given by the identity matrix, i.e. it gives us all information about the original, and k2 which loses all information about the initial states (i.e. it always returns S=1 as the output, regardless of the input ). Then k1 strictly dominates k2, however if we preprocess the inputs by mapping them both to S=1, then both channels convey no information, and as such there is no strict domination anymore. Is this so?
More generally, any k1>k2 can lose the strict domination property by a pregarbling where all information is destroyed, rendering both channels useless.
Have I missed anything?