How is any of that related to this article? This is about applications of formal mathematics, and the criticism (not skepticism) used by the author is in no way

How is any of that related to this article? This is about applications of formal mathematics, and the criticism (not skepticism) used by the author is in no way connected to the point you’re making.