Comments by "Vitaly L" (@vitalyl1327) on "What Makes Rust Different?" video.

  1. I have to disagree. Axioms are indeed invented and not "discovered". Mathematics is a language that allows to construct any formal system that does not contradict itself. You can invent any axiomatic basis and then the tools mathematics provide would allow you to construct an infinite tower of things derived from your selected axiomatic basis. Now, the "right" axiomatic theories are only selected by applying the language of mathematics to the data produced by natural sciences. Scientific Method makes the choice - axiomatic systems that generate consequences that numerically are in agreement with the data can stay (for now), systems that generate something consistent but absolutely detached from the data can be discarded (or left as mathematical toys). But the real beauty of mathematics is that it allows you to invent anything you want. No limits, as long as you keep your axioms non-contradicting.
    2