El mapa no es el territorio, cualquier modelo es una abstracción y nunca será completo, el único modelo completo del mercado es el propio mercado, etc. Estoy de acuerdo en que esto lleva directamente a Gödel, Turing, el problema de la parada y otros conceptos básicos de computabilidad.
Prueba este experimento mental: Imagine que el mercado es una máquina de Turing llamada M, que lee y escribe en una cinta de longitud infinita. Todas las noticias pasadas y futuras están en la cinta. El mercado (nuestra máquina llamada M) lee una noticia y, basándose en su estado interno y su conjunto de reglas, escribe un mensaje de datos de mercado en la cinta. Debido al problema de la interrupción, etc., no podemos utilizar una máquina diferente para predecir con antelación cuál será el siguiente mensaje de datos de mercado. La única manera de descubrir el siguiente mensaje de datos de mercado es ejecutar el siguiente ciclo de máquina de M.
Tratar de escribir un modelo exacto del mercado es como tratar de duplicar toda la cinta de M, incluyendo los futuros eventos de noticias, así como el conjunto de reglas internas de M. Y antes de que podamos empezar a ejecutar nuestro propio modelo, también necesitamos obtener una copia del estado interno de M, que, en el caso de un mercado del mundo real, incluye el estado interno de todas las contrapartes. Cualquier máquina de Turing que pueda hacer todo eso es, de hecho, idéntica a M. Tendríamos que recrear todo el mercado, incluyendo las noticias futuras, para poder modelar M.
Si tratamos de escribir un modelo de macronivel G que resuma el resultado de M, agregando por marco temporal, índice o algo así, seguimos encontrándonos con el mismo problema: el macromercado G no es más que otra máquina, todavía con una cinta infinita. Podemos suponer que el comportamiento de G está determinado por un conjunto de reglas más simple, con un estado interno menor que el de M. Ese es el objetivo de un modelo. Pero, de nuevo, en un mercado del mundo real, ese estado interno se almacena entre las contrapartes, y la cinta sigue incluyendo noticias futuras. Y el siguiente mensaje de datos de mercado (agregados) sigue sin poder decidirse sin ejecutar el siguiente ciclo de máquina de G.
Podemos modelar esto de varias maneras. Por ejemplo, en lugar de una gran máquina M o G, podemos utilizar un montón de máquinas más pequeñas, cada una de las cuales representa a una contraparte, todas ellas compartiendo la misma cinta. Eso sólo empeora la complejidad.
Por supuesto, Turing sólo afirmó que una máquina de Turing podía calcular cualquier problema que fuera decidible por máquina . Un mercado del mundo real incluye jugadores que no son máquinas. Pero incluso si asumiéramos que los humanos tienen un comportamiento mecanicista, seguiríamos teniendo la dificultad de obtener una copia de su estado interno para modelar M o G.
En realidad, ya sabemos que ningún modelo es completamente preciso, y que la precisión de ningún modelo es constante a lo largo del tiempo. Los experimentos mentales anteriores, creo, podrían ilustrar algunas de las razones.