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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		whatever120 27 days ago \| parent \| context \| favorite \| on: What Is Ruliology? How is an “actual system” distinct from a formal system? What is actual?

Supermancho 27 days ago [–]

I assume it's related to the aphorism:

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

SideburnsOfDoom 26 days ago | [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact