This paper aims to interpret and formalize Herbert Simon's notions of bounded rationality, satisficing and heuristics in terms of computability theory and computational complexity theory. Simon's theory of human problem solving is analysed in the light of Turing's work on Solvable and Unsolvable...

Formally, the orthodox rational agentís 'Olympian' choices ([14], p.19) are made in a static framework. However, a formalization of consistent choice, underpinned by computability, suggests satisficing in a boundedly rational framework is not only more general than the model of 'Olympian'...

We experimentally investigate imitation in investment choices and focus on cognitive aspects of decision making. At this aim, we manipulate three main dimensions of choice: time pressure, normative content of social information, and uncertainty of the investment. We document the existence of...