Slacker News Slacker News logo featuring a lazy sloth with a folded newspaper hat
  • top
  • new
  • show
  • ask
  • jobs
Library
← Back to context

Comment by whatever120

19 days ago

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

2 comments

whatever120

Reply

Supermancho  19 days ago

I assume it's related to the aphorism:

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

  • SideburnsOfDoom  18 days ago

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

Slacker News

Product

  • API Reference
  • Hacker News RSS
  • Source on GitHub

Community

  • Support Ukraine
  • Equal Justice Initiative
  • GiveWell Charities