Ah, sorry. Trying to get out the door here. heh
Never claimed it was revolutionary. ;)
FYI I've already gotten some feedback re the (human attention and computational) cost of proof systems. I'm not sure yet if this problem is (exactly) the same as that.
Thanks.
I have more where that came from.
Ah, sorry. Trying to get out the door here. heh
Never claimed it was revolutionary. ;)
FYI I've already gotten some feedback re the (human attention and computational) cost of proof systems. I'm not sure yet if this problem is (exactly) the same as that.
Thanks.
I have more where that came from.