Jag kände en konstig blandning av chock, sympati och lättnad (att jag inte var ombord) när jag hörde om måndagens Air France-krasch. Jag var faktiskt uppe när olyckshändelsen ägde rum (kl 3 på natten) på grund av min levande väckarklocka (Rickard) som behövde gå på toa i grannens trädgård eller som bara ville väcka mig för att utöva sin makt över mig.
Katastrofen är en nyttig påminnelse om att livet är ömtåligt och att mina små problem (t.ex. en krävande katt i mitten av natten) är helt obetydliga.
Formalization of QFT?
-
There’s a new paper out on the Formalization of QFT, purporting to
formalize a QFT using Lean/Mathlib. I’ve been trying to avoid spending time
on the hot t...
Inga kommentarer:
Skicka en kommentar