you can search "cybernetics" to see one of the formal theory. There is... quite some background in there.
Usually formal theories need a logical mathematical language to fully characterize it. I scanned the wikipedia of cybernetics and it's just not it.
Control theory or signals is the closest formal theory to cybernetics. The problem with this theory is that it only characterizes very specific systems that have ordinal values as inputs and outputs. What if the input is text? What if it's tuples of tree like tokens?
The closest theory that encompasses the intuition of what we think of when we use the word "systems" is category theory in my experience. And this theory is in fact sort of too general to be very useful.
And no, category theory is not even approaching explaining this. At all.
Yeah I did. Not one math equation and two informal diagrams describing the same thing.
Most formal theories outside of programming languages use western mathematical syntax for the foundational dialect and I don't see anything related to that here. Cybernetics similar in a sense to "system design" in that it's not formal imo.
See category theory: https://en.wikipedia.org/wiki/Category_theory for what I mean by "formal language".
>And no, category theory is not even approaching explaining this. At all.
It does. It unifies all of mathematics at the lowest level and operate at all levels of abstraction and even recursively. Category theory can describe category theory. The problem is we have no definition in this theory about what is a better design? It's just a description of designs.
If you read cybernetics texts today, they paint a picture very similar to neural networks and the statistical methods for processing data. "Introduction to Cybernetics" by W. Ross Ashby is a decent text with a lot of good exercises. I still think there's a lot to learn here.
>It does. It unifies all of mathematics at the lowest level
This was attempted before by Russel & Whitehead before Godel proved that any sufficiently complicated system can produce non-truths and false statements that cannot be verified by that same system.
I never made the claim the system was complete.
>If you read cybernetics texts today, they paint a picture very similar to neural networks and the statistical methods for processing data. "Introduction to Cybernetics" by W. Ross Ashby is a decent text with a lot of good exercises. I still think there's a lot to learn here.
well unfortunately I don't see anything formal in the Wikipedia. I'll take a deeper look at that text though.