Diamond Member Pelican Press 0 Posted June 5, 2024 Diamond Member Share Posted June 5, 2024 Mathematicians can’t agree what ‘equals’ means, and that’s a problem More complex than it looks When you see “2 + 2 = 4”, what does “=” mean? It turns out that’s a complicated question, because mathematicians can’t agree on the definition of what makes two things equal. While this argument has been quietly simmering for decades, a recent push to make mathematical proofs checkable by computer programs, called formalisation, has given the argument new significance. “Mathematicians use equality to mean two different things, and I was fine with that,” says … This is the hidden content, please Sign In or Sign Up maths,Computers #Mathematicians #agree #equals #means #problem This is the hidden content, please Sign In or Sign Up 0 Quote Link to comment https://hopzone.eu/forums/topic/43018-mathematicians-can%E2%80%99t-agree-what-%E2%80%98equals%E2%80%99-means-and-that%E2%80%99s-a-problem/ Share on other sites More sharing options...
Recommended Posts
Join the conversation
You can post now and register later. If you have an account, sign in now to post with your account.