Este tópico todo é tão bom que estou apenas a repostar partes aleatórias dele. Um excelente exemplo de porque os modelos formais são realmente bons. Se você está a argumentar que "o mundo é demasiado complexo para modelos", na verdade, você também está a usar um modelo, mas um que é impossível de falsificar.