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.
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.
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.
I assume it's related to the aphorism:
In theory, theory and practice are the same. In practice, they are not.
Yes, but in this case, it's all mathematics and computation. The messy analogue real world isn't involved in either.