Reasoning with two different formal systems simultaneously—code and runtime, logical theory and model, equations and data set, spec and implementation— this ability is on the edge between advanced systematic cognition and basic meta-systematicity. https://www.johndcook.com/blog/2018/02/10/iterating-between-theory-and-code/ …
-
-
The entire postmodern world is built on our astonishing ability to damp the chaotic quantum dynamics (perfect unpredictability) of an electron gas into the digital abstraction (perfect predictability) in a billionth of a second.
Show this thread -
Physicists often adopt a different rationalist misunderstanding of the theory/reality relationship: that it is a matter of numerical approximation. That works only in highly restricted, closely-controlled circumstances. Relevant xkcd:pic.twitter.com/zFWyMCSBPi
Show this thread
End of conversation
New conversation -
-
-
This Tweet is unavailable.
- 1 more reply
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.