> On 5 Aug 2020, at 20:17, Philip Thrift <[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
That is no so bad. To be sure, the idea that metamathematics is a sort of pre-mathematics is naïve, and does not make much sense. The whole point of Gödel and the logician was the discovery that a large part of metamathematics can be done in mathematics. Incidentally, their use of the Curry-Howard isomorphism might be more interesting than many others, but it is incompatible with the type of logics imposed by Incompleteness, where the CH isomorphism works only for the first person modes (S4Grz1, cf []p & p). They are still missing that physics needs the full machine theology to be, not just recovered, but explained. Bruno > > > > 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/1dff8b68-ed0f-49da-91d5-23f4e518e78bo%40googlegroups.com. -- 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/19E244CF-86D6-49F9-8200-8B166AE7AB27%40ulb.ac.be.
