I am delighted to know that Principia Mathematica can now be done by machinery... I am quite willing to believe that anything in deductive logic can be done by machinery.
Quotes about principia (4 Quotes)
Nobody since Newton has been able to use geometrical methods to the same extent for the like purposes and as we read the Principia we feel as when we are in an ancient armoury where the weapons are of gigantic size and as we look at them we marvel what manner of man he was who could use as a weapon what we can scarcely lift as a burden.
The structured finance industry is enjoying unprecedented growth, undergoing rapid transformation as best of breed techniques begin to converge. Principia SFP is of tremendous value to our clients in that it cost-effectively meets the common, straight-through processing needs of structured finance operations, yet is adaptive enough to address the evolving structuring and workflow requirements of many different vehicle types.
Well it was not exactly a dissertation in logic, at least not the kind of logic you would find in Whitehead and Russell's Principia Mathematica for instance. It looked more like mathematics; no formalized language was used.