What Gödel Discovered
The author of "What Gödel Discovered" has a good point thatGödel numbers are not a convenient representation of aproposition of Russell's Principia Mathematica (PM). (Norare Gödel numbers adequate because they omit the order of aproposition.)Lisp expressions are an improvement. However, a Lispexpression, as used in the article, is also not adequatebecause it also omits the order of the proposition.See the following for a high-level representation ofpropositions of PM that includes the crucial orders onproportions: https://papers.ssrn.com/abstract=3459566