Esse tópico inteiro é tão bom que estou apenas repostando partes aleatórias. Um excelente exemplo de por que modelos formais são bons, na verdade. Se você está argumentando que "o mundo é complexo demais para modelos", na verdade você também está usando um modelo, mas um que é impossível de falsificar.