Questo intero thread è così interessante che sto semplicemente ripubblicando parti a caso. Un ottimo esempio del perché i modelli formali siano effettivamente utili. Se stai sostenendo che "il mondo è troppo complesso per i modelli", in realtà stai usando anche tu un modello, ma uno che è impossibile da falsificare.