logoalt Hacker News

whatever120yesterday at 3:42 PM1 replyview on HN

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


Replies

Supermanchoyesterday at 4:33 PM

I assume it's related to the aphorism:

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