4 ms·

How is an “actual system” distinct from a formal system? What is actual?

• Supermancho 8mo ago
  I assume it's related to the aphorism: In theory, theory and practice are the same. In practice, they are not.
  • SideburnsOfDoom 8mo ago
    Yes, but in this case, it's all mathematics and computation. The messy analogue real world isn't involved in either.