Right. is "the basic science of what simple rules do" not the same as Formal systems?
https://en.wikipedia.org/wiki/Formal_system
It's not Formal Systems.
Formal Systems is the study of logical systems themselves.
Ruliology is a study of what actual systems do.
It's doing the arithmetic computations and looking at the results, not the abstract algebra.
alt Hacker News
It's not Formal Systems.
Formal Systems is the study of logical systems themselves.
Ruliology is a study of what actual systems do.
It's doing the arithmetic computations and looking at the results, not the abstract algebra.