I recently read Evans DDD, Fowler PoEAA and Fowler Analysis Patterns. These books got me interested in "modeling" as a more general terms. I noticed there are so many parallels to physics or mathematics, so I wonder if there is a field of science that deals with things like leaky Abstractions, defining Systems based on axioms, drawing conclusions in deterministic systems, non-deterministic systems and such.
I definitely do think this is Programming Related, as it lies at the core of what programmes are doing: abstracting reality into models, defining new systems with new rules.
Can anyone recommend a good book about it or point me to interesting resources?