{"id":228526,"date":"2024-06-05T15:12:17","date_gmt":"2024-06-05T15:12:17","guid":{"rendered":"https:\/\/michigandigitalnews.com\/index.php\/2024\/06\/05\/mathematicians-cant-agree-what-equals-means-and-thats-a-problem\/"},"modified":"2025-06-25T17:17:49","modified_gmt":"2025-06-25T17:17:49","slug":"mathematicians-cant-agree-what-equals-means-and-thats-a-problem","status":"publish","type":"post","link":"https:\/\/michigandigitalnews.com\/index.php\/2024\/06\/05\/mathematicians-cant-agree-what-equals-means-and-thats-a-problem\/","title":{"rendered":"Mathematicians can’t agree what ‘equals’ means, and that’s a problem"},"content":{"rendered":"

[ad_1]
\n<\/p>\n

\n
\n
\"\"<\/div>
\n
\n

More complex than it looks<\/p>\n<\/div>\n<\/figcaption><\/figure>\n<\/p>\n

When you see \u201c2 + 2 = 4\u201d, what does \u201c=\u201d mean? It turns out that\u2019s a complicated question, because mathematicians can\u2019t 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<\/a>, called formalisation, has given the argument new significance.<\/p>\n

\u201cMathematicians use equality to mean two different things, and I was fine with that,\u201d says \u2026<\/p>\n<\/p><\/div>\n

[ad_2]
\n
Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

[ad_1] More complex than it looks When you see \u201c2 + 2 = 4\u201d, what does \u201c=\u201d mean? It turns out that\u2019s a complicated question,<\/p>\n","protected":false},"author":1,"featured_media":228527,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"_uf_show_specific_survey":0,"_uf_disable_surveys":false,"footnotes":""},"categories":[177],"tags":[],"_links":{"self":[{"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/posts\/228526"}],"collection":[{"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/comments?post=228526"}],"version-history":[{"count":0,"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/posts\/228526\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/media\/228527"}],"wp:attachment":[{"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/media?parent=228526"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/categories?post=228526"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/michigandigitalnews.com\/index.php\/wp-json\/wp\/v2\/tags?post=228526"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}