Principia A work from the early 20th century, mathematics, logic. I think some expert called Bertrand Russell's and A.N. Whitehead's "Principia Mathematica"

Principia A work from the early 20th century, mathematics, logic. I think some expert called Bertrand Russell's and A.N. Whitehead's "Principia Mathematica" initiative a "bizarre" piece of work, when seen from the perspective of a programming language designer. I can't make a qualified statement about this, as I am neither a mathematician nor a language designer. And I cannot find the exact quote on the internet, sorry. Just saying. In code? See for yourself : https://www.principiarewrite.com/ https://www.principiarewrite.com/ or https://github.com/LogicalAtomist/principia/blob/master/PL.v https://github.com/LogicalAtomist/principia/blob/master/PL.v