Of course there are. If I understand the abstract correctly, this paper argues for a particular formalization of game theory (often a branch of economics) on the grounds that the players (intuitionistically) play strategies that are computable from only a bounded amount of lookahead.
Does this guy count?
Er, this constructivism not this one.
Of course there are. If I understand the abstract correctly, this paper argues for a particular formalization of game theory (often a branch of economics) on the grounds that the players (intuitionistically) play strategies that are computable from only a bounded amount of lookahead.
www.math.wisc.edu/~lempp/conf/wroc/stecher.pdf
Not sure that justifies an “Of course there are”, but very nice find.
Rule 34!
If I couldn’t find one, I’d have been compelled to become one.
Please, no constructivist economics porn. It’s bad enough there’s that Austrian school slashfic.