You're thinking of it backwards. It's not that you perform a transformative process from real world to formal system, it's that the interaction of the real worl

You're thinking of it backwards. It's not that you perform a transformative process from real world to formal system, it's that the interaction of the real world and creating the formal system changes your understanding of the problem. The computer doesn't process reality, but it can keep you honest about what terms you use in your language and how those terms relate to one another. God, I hope we've learned something from all of those disasters. You don't change the computer to solve your problem. The computer changes your understanding of what the problem is.