Hacker News new | ask | show | jobs
by whatever120 136 days ago
How is an “actual system” distinct from a formal system? What is actual?
1 comments
Supermancho 136 days ago
I assume it's related to the aphorism:

In theory, theory and practice are the same. In practice, they are not.

link
SideburnsOfDoom 135 days ago
Yes, but in this case, it's all mathematics and computation. The messy analogue real world isn't involved in either.
link