Jag har officiellt varit på semester sedan måndag men behövde jobba i torsdags - jag deltog i en students minidisputation samt ett viktigt möte. Sedan åkte jag till flygplatsen för att njuta av ett dygn i England. Nu är jag tillbaka i Eskilstuna och jag ser fram emot en helt "flygplatsfri" månad.
Men frågan är hur ska jag sysselsätta mig ? Jag har några planer som involverar fulla kvällar och bakfulla dagar men måste hitta på någonting som är lite mer original..
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