@Meaningness The point is well-made. I'm more optimistic than you about how much can be answered by combining probability and logic.
-
Yeah, it can be viewed as an approach to combinatorial betting markets which can be run as code, which was done
are there any approx. strategies for enumerating "Players"/"Traders"?
-
-
is finding a "pretty good" ordering of Traders for LI more tractable than turing machines for SI?
-
LI is more tractable than SI; it's computable. You can think of it as a very specific SI approximation scheme.
End of conversation
New conversation -
-
-
Sampling strategies seem more appealing than enumerating them?
-
sure, good sampling roughly like ordering in such a way that bad & slow traders occur later
End of conversation
New conversation -
-
-
Not yet, no.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.