>>2488I meant computational complexity, since what is of interest are the logico-computational properties of a certain interesting kind of physical systems.
https://www.seiller.org/HdR.pdfFuture freedom of action is from Wissner-Gross' causal entropic forces paper. It's only thermodynamic but can be given more solid quantum mechanical foundations. Rigorously *and* understandably is a bit of a tough ask, but the original paper isn't particularly complicated, and he has given talks on the topic.
https://youtu.be/ue2ZEmTJ_Xo?si=ZVw-sTltaa9lA0umhttps://www.alexwg.org/publications/PhysRevLett_110-168702.pdfI might make a thread about it, that's not a bad idea. What's of interest to me about it is how closely it corresponds to Nick Land's treatment of orthogonality.
As for the last couple of questions, between the money and hype, AI/ML have become far too "hacky" disciplines. Lots of Rube-Goldberg machines and technical results without much care for fitting them into a broader and more fundamental theory, or care for the foundational notions and questions of interest. Despite the truckloads of money being dumped into this industry, you won't find that many people interested in thinking deeply about what making something smarter even means. Programmers are users of logic -far too often, not even good ones- but they show little regard for it.
Let me put it this way: we are trying to build something that is capable of postulating and justifying logical and heuristic rules on its own, but hardly anyone has a clue on how *we* have even managed to do that in the first place! Try explaining or justifying the use of modus ponens without using it or relying on it (what would make the explanation circular)! It's an old wittgensteinian observation. Instead one just stirs a big pot of linear algebra and hopes that the next trick will be good enough to produce Skynet, fully formed and even equipped, like Athena from the head of Zeus. I'm not proposing mandatory philosophy classes at MIT or that GOFAI make a comeback, only that without accounting for the subjective dimensions of logic, if only implicitly, we'll be stuck with dead-ends and an economic bubble, one big painful blind spot.