In reading the first of these I run into the usual sense or difficulty with Wolfram of understanding how to compute or calculate things.
This does get into HoTT (homotopy type theory) which I see as a sort of quantum of homotopy or index that represents the obstruction to diffeomorphisms on paths. A hole or "horn you can't pull the reins over" that prevents any diffeomorphism that moves a curve past the hole or horn, defines a first fundamental form π_1(M) = ℤ. The HoTT is a binary set of paths that wrap around the obstruction and those which do not. In a quantum mechanical form this can be a form of quantum bit. The role of topology with quantum mechanics is not fully understood. An elementary particle is really a set of quantum states or numbers, and these may have topological definition. The charge, spin, etc are topological quantum numbers, and the Cheshire Cat experiments illustrate how these are in a form of entanglement. Elementary particles are really not that different from quasiparticles in condensed matter physics' LC On Wednesday, August 5, 2020 at 1:17:48 PM UTC-5 [email protected] wrote: > > (HyPE = Hypergraph Programming Engine ?) > > > https://www.wolframphysics.org/bulletins/2020/08/a-candidate-geometrical-formalism-for-the-foundations-of-mathematics-and-physics/ > Formal Correspondences between Homotopy Type Theory and the Wolfram Model > > cf. > > https://writings.stephenwolfram.com/2020/07/a-burst-of-physics-progress-at-the-2020-wolfram-summer-school/ > > @philipthrift > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/cc085a51-fe82-452f-a344-41404f060972n%40googlegroups.com.
