doriantaylor

3 ms·

1. 1.▲
   by doriantaylor 15y ago

   Ah, sorry. Trying to get out the door here. heh
2. 2.▲
   by doriantaylor 15y ago

   Never claimed it was revolutionary. ;)
3. 3.▲
   by doriantaylor 15y ago

   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.
4. 4.▲
   by doriantaylor 15y ago

   Thanks.
5. 5.▲
   by doriantaylor 17y ago

   I have more where that came from.