top | item 46924727

(no title)

whatever120 | 23 days ago

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

discuss

order

Supermancho|23 days ago

I assume it's related to the aphorism:

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

SideburnsOfDoom|22 days ago

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