Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Recurso digital |
| Langue: | anglais |
| Publié: |
Zenodo
2025
|
| Sujets: | |
| Accès en ligne: | https://doi.org/10.5281/zenodo.17227540 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Table des matières:
- <div> <div> <div> <p>The Standard Model of particle physics—our best, current under- standing of the universe—is normally specified as a Lagrangian density, evaluated via the machinery of quantum field theory. We propose to recast it in the language of structural operational seman- tics (SOS)—the formalism that underpins programming language theory and process calculi. In this view, particles are processes, in- teraction vertices become inference rules, and amplitudes decoratetransitions. Probabilities emerge by applying the Born rule to deriva- tions. This reformulation does not alter physics, but it rephrases the Standard Model as a probabilistic process calculus, making it amenable to the full toolbox of computer science semantics. We sketch preliminary SOS rules for QED (Quantum Electrodynamics) and issue an open invitation: if the events of the universe unfold as computation, then the Standard Model is essentially its programming language:</p> <p>The Universal Calculus</p> <p>and computer scientists are, in fact, (already) uniquely equipped to reason about it through half a century of experience with all kinds of (abstract) computational models.</p> </div> </div> </div>