I wrote the article, and I'm confused because I agree with your objections but I don't recall that I wrote any of the things you're objecting to. IIRC I even sa

I wrote the article, and I'm confused because I agree with your objections but I don't recall that I wrote any of the things you're objecting to. IIRC I even said math has no docs or compiler that you can test your programs with. > With a program, you can always write test cases and run them to ensure they all pass. > There is no compiler to tell you that it’s nonsensical to construct the set of all sets > In mathematics there is no unified documentation, just a collective understanding, scattered references, and spoken folk lore. You’re lucky if a textbook has a table of notation in the appendix.