Comments by "Luredreier" (@Luredreier) on "What Makes Rust Different?" video.

  1. Your idea about maths actually being out there just isn't something that we have any reason to believe. I believe that David Humes has the best approach here. We humans have the power of definition in maths. The fundamentals doesn't exist out there, but inside our minds, where we create them. Then we use our assumptions to conceptualize our ideas about relationships, balding logic systems, be that math or formal logic in philosophy etc. Once we have an idea about a relationship we can apply it on the real world. Alternatively we can go the other way, but in either case we're fitting the math to the data, not the other way around. And when we find useful results it's only because we lewrn to use maths as a rool to help us conceptualize things. But there's no actual evidence of an actual relationship between our logic and the world.
    2