Modelos formais de comportamento econômico confrontam conceitos de complexidade computacional, como classes de problemas e limites de algoritmos. O texto discute implicações para mecanismos de mercado e tomada de decisão sob restrições computacionais.

Temas incluem aplicabilidade de algoritmos a jogos econômicos e à representação de preferências em ambientes estratégicos. São apresentados exemplos teóricos que ilustram trade-offs entre eficiência, custo de cálculo e informação disponível.

A obra foca a interface entre teoria da computação e teoria econômica, com ênfase em modelagem e problemas de computabilidade. As discussões abordam definições formais e resultados sobre computabilidade aplicados a estruturas organizacionais e mecanismos.