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/ or https://github.com/LogicalAtomist/principia/blob/master/PL.v