Computer finds flaw in major physics paper for first time A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how ...

#Computer finds #flaw in major #physics paper for first time. #maths #formalisation #Lean #programming #MathsLib #PhysLib #Higgs
www.newscientist.com/article/2520...

the sun shines brightly through the clouds Alt: La tête dans les nuages ou dans le cloud d'un terrain à l'autre.

Prendre plus de #temps dans le sablier pour la #formalisation jusqu'à la compréhension selon l' #environnement et la #précipitation.

OnlineFirst - "The plat-formalisation fallacy" by Rich Mallett:

#informaleconomy #formalisation #digitallabourplatforms #motorcycletaxis #Uganda

journals.sagepub.com/doi/full/10....