This is a good thing about information and physics.
http://iopscience.iop.org/article/10.1088/0143-0807/36/1/015010#ejp501821bib51
[it touches on category theory in there. You might like it]
—
This is also very good, although much is beyond me. It’s for a course in MIT on classical mechanics but starting from Lagrangian and Hamiltonian rather than Newton, using Scheme (a dialect of LISP) to prove computability.
https://mitpress.mit.edu/sites/default/files/titles/content/sicm_edition_2/book.html
—
I called it “systems of systems” once back in 2001, although I was thinking more along the lines of a master ontology I suspect.
https://groups.google.com/d/msg/sci.systems/EaZTJgXQVbA/59P8stPkfKIJ
—
—
Scheme is the language I’d program in if I wasn’t so lazy. Conceptually, I love it and I find it very readable. [but i love nesting]
—-
[responsivevoice_button voice="US English Male"]