4 ms·

Do you know, whether anyone of the approaches (yours or one of that you mention in the links) has had any kind of practical success, or maybe has been adopted b

by gexaha 5y ago

Do you know, whether anyone of the approaches (yours or one of that you mention in the links) has had any kind of practical success, or maybe has been adopted by some community? I mean, it's nice to generalize, but did it help anyone yet? like practically (e. g., did epidemiologists or biologists or math. modellers adopted any of the approaches?)

taliesinb 5y ago
I'm not an expert in Petri nets, but they are definitely used for modeling in various fields. Krohn-Rhodes theory also claims some successes if you read that article. As for the stuff I'm actively working on: even if it is successful, and uniquely suited to solve some particular problem, I'd imagine it would take at least a few years to be actively applied in the right places -- and it might end up being me helping to apply it! If you look back at for example graph theory, it was explored on the pure mathematics and computer science side for many decades before it spawned e.g. network science and got applied in sociology, economics, etc. So, yeah, don't hold your breath! If you'd prefer not to read any blog posts heralding XYZ as the next big thing before XYZ has already led to a concrete breakthrough, I think that's a totally fair. I myself am quite happy to work quietly on things until there is a satisfying and complete application, but Stephen isn't like that. Both stances have pros and cons.
- nextos 5y ago
  Petri nets are interesting, and used e.g. in biology to model some cell regulatory processes. However, it's really hard to infer properties from them in a static manner using model checking or abstract interpretation. How are we going to infer properties about petri nets or the models Wolfram is proposing? Geometry or differential equations have been so successful because they are amenable to algebraic and analytic approaches.
  - taliesinb 5y ago
    I agree, it's a high priority to build discrete versions of differential geometry, calculus, PDEs and so on. That's what I'm trying to do

by gexaha 5y ago

taliesinb 5y ago

I'm not an expert in Petri nets, but they are definitely used for modeling in various fields. Krohn-Rhodes theory also claims some successes if you read that article. As for the stuff I'm actively working on: even if it is successful, and uniquely suited to solve some particular problem, I'd imagine it would take at least a few years to be actively applied in the right places -- and it might end up being me helping to apply it! If you look back at for example graph theory, it was explored on the pure mathematics and computer science side for many decades before it spawned e.g. network science and got applied in sociology, economics, etc. So, yeah, don't hold your breath! If you'd prefer not to read any blog posts heralding XYZ as the next big thing before XYZ has already led to a concrete breakthrough, I think that's a totally fair. I myself am quite happy to work quietly on things until there is a satisfying and complete application, but Stephen isn't like that. Both stances have pros and cons.

nextos 5y ago
Petri nets are interesting, and used e.g. in biology to model some cell regulatory processes. However, it's really hard to infer properties from them in a static manner using model checking or abstract interpretation. How are we going to infer properties about petri nets or the models Wolfram is proposing? Geometry or differential equations have been so successful because they are amenable to algebraic and analytic approaches.
- taliesinb 5y ago
  I agree, it's a high priority to build discrete versions of differential geometry, calculus, PDEs and so on. That's what I'm trying to do