If I may be so bold, the answer should be a guarded yes.
A snag is that the correct theory of what John calls ‘distributed systems’ or ‘Time’ and what theoretical CS academics generally call ‘concurrency’ is as of yet not fully constructed. To be sure, there are many quite well-developed theoretical frameworks—e.g. the Pi calculus or the various models of concurrency like Petri nets, transitions systems, event structures etc. They’re certainly on my list of ‘important things I’d like to understand better’.
Our world, and our sensemaking of it, is fundamentally concurrent. If we had the ‘correct’ theory of concurrency and we would be able to coherently combine it with decision theory under uncertainty that would be very powerful.
If I may be so bold, the answer should be a guarded yes.
A snag is that the correct theory of what John calls ‘distributed systems’ or ‘Time’ and what theoretical CS academics generally call ‘concurrency’ is as of yet not fully constructed. To be sure, there are many quite well-developed theoretical frameworks—e.g. the Pi calculus or the various models of concurrency like Petri nets, transitions systems, event structures etc. They’re certainly on my list of ‘important things I’d like to understand better’.
Our world, and our sensemaking of it, is fundamentally concurrent. If we had the ‘correct’ theory of concurrency and we would be able to coherently combine it with decision theory under uncertainty that would be very powerful.