<div dir="ltr">I actually like this book at lot:<br><br><a href="https://en.wikipedia.org/wiki/Where_Mathematics_Comes_From">https://en.wikipedia.org/wiki/Where_Mathematics_Comes_From</a><br><br>It is an undervalued book and I think they are into something big. <br>Their main idea is mathematics is not the language of nature but the language humans develop to understand nature. <br>It is an approximation of what really is going on in nature because like all languages is just made of abstractions and metaphors. <br>It works but like all metaphors, it breaks at a point. <br>It is a powerful language because it does allow us to explain each other operations and procedures that allow us to be effective in the natural world (i.e. shoot very precisely, for all practical purposes, with a cannon an enemy base for example) but real world knows nothing of mathematics. If one day we will discover how the physical world really does its things (for example a ball falling in a gravitational field) we will find out that is not really mathematics but something else that mathematics only approximates as a metaphor. <div>My gut feeling says there is Truth in this idea. <br><br><br><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Mar 24, 2021 at 9:57 PM Giovanni Santostasi <<a href="mailto:gsantostasi@gmail.com">gsantostasi@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Another angle that is not explored much (but it is a fundamental piece of the puzzle) is where the human (or even other species) brains and nervous systems fit in this story (relationship between mathematical truth and physical reality). <br><br><h1 id="gmail-m_-6742698439438803048gmail-firstHeading" style="color:rgb(0,0,0);margin:0px 0px 0.25em;padding:0px;overflow:visible;border-bottom:1px solid rgb(162,169,177);font-weight:normal;font-family:"Linux Libertine",Georgia,Times,serif;line-height:1.3"><i><font size="2">Where Mathematics Comes From</font></i></h1><br><a href="https://www.amazon.com/Where-Mathematics-Come-Embodied-Brings/dp/0465037712" target="_blank">https://www.amazon.com/Where-Mathematics-Come-Embodied-Brings/dp/0465037712</a><br><br><h1 id="gmail-m_-6742698439438803048gmail-page-title" style="box-sizing:border-box;margin:0px 0px 2rem;line-height:1.25;color:rgb(0,0,0);letter-spacing:-0.1rem;font-family:"Open Sans",HelveticaNeue,"Helvetica Neue",Helvetica,Arial,sans-serif"><font size="2">Origins of the brain networks for advanced mathematics in expert mathematicians</font></h1><a href="https://www.pnas.org/content/113/18/4909" target="_blank">https://www.pnas.org/content/113/18/4909</a><br><br><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Mar 24, 2021 at 9:37 PM Giovanni Santostasi <<a href="mailto:gsantostasi@gmail.com" target="_blank">gsantostasi@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">It is actually a deep statement with many layers and ramifications. <br><br>To simplify (physicist back of envelope solution of the riddle):<br><br>True= self consistent. <br>Mathematics is like a game you establish rules in the beginning (axioms) and true is any self-consistent statement derived from these axioms. <br><br>Exist =Real = regarding the physical world in which we live. <br><br>Let's take a simple mathematical concept that is actually not that abstract, as some of the examples given in other responses to this email. The ratio between the circumference of a circle and its diameter, or the constant called Pi. <br><br>Pi is true, in the sense that is a well-defined, self-consistent concept that can be derived from a precise algorithm. We can make statements about pi that are true in this particular sense for example the the second decimal place of Pi is 4. <br>It is a true statement. <br>But does Pi exist in the real world? <br>No. <br>Pi implies by the nature of its definition that it a number that cannot be written as a fraction of integers, or in other words has an infinite number of decimals. <br>If you take any physical circle (or an approximation to a theoretically perfect circle) and measure the ratio between circumference and diameter you get an approximation to the pure mathematics Pi. <br>You can improve the "roundness" of the circle to the point that it is an atomic level of perfection and precision (something we cannot do technologically right now but maybe one day) and still you would not get an infinite number of decimal places. Even if you transcend some of the technological limitations at a point you will clash with the fact space and time is quantized and there is a length scale where the meaning of length itself is meaningless (Plank's scale). <br><br>Real numbers are not real at all. They are abstractions and they represent processes that can in theory continue forever and they don't have an endpoint ( until the universe dies?).<br>The mystery is in how effective mathematics is (that is an abstraction of the real world that implies infinite process and infinite divisible quantities, vs a real-world that has finite length scale, finite time scale (Plank's time), and finite times to accomplish processes (heat death of the universe) in actually being able to describe this quantized and finite universe. <br>Why an approximation of pi is good enough (I think NASA uses 5 decimal places at most) to send probes to Mars with all the precision every needed for such a mission? <br>Why the true pi has an infinite number of digits and the "real" and useful pi needs only 5? <br>That is the deep question. <br>Some philosophy schools, for example the Platonists (modern example of this is R. Penrose), tried to resolve this riddle by putting upside the problem and claiming (without any evidence) that the world of math is the Real world and the physical world is like an imperfect representation of that ideal world (like a 2D shadow of the 3D real, platonic world). I think this  "solution" is huge bs and it is the equivalent of hiding dust under the carpet (the floor looks clean but it is not). <br><br><div><div>I think there is not yet a satisfactory solution to this problem. We don't really understand it. Math works so we use it. <br></div><div><br></div><div>One could write an entire book on this topic, and many books have been written. Here are some example. <br><br><br><a href="https://www.amazon.com/Pythagorean-World-Mathematics-Unreasonably-Effective/dp/3319409751" target="_blank">https://www.amazon.com/Pythagorean-World-Mathematics-Unreasonably-Effective/dp/3319409751</a><br><br><a href="https://personal.lse.ac.uk/ROBERT49/teaching/ph201/Week15_xtra_Wigner.pdf" target="_blank">https://personal.lse.ac.uk/ROBERT49/teaching/ph201/Week15_xtra_Wigner.pdf</a><br><br>Wigner called the unreasonable effectiveness of mathematics. <br><br>Also related problems are how we can know something is true in mathematics at all, i.e. Godel's theorem. <br><br><a href="https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem" target="_blank">https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem</a><br><span style="color:rgb(51,51,51);font-family:"Roboto Condensed","Helvetica Neue",Helvetica,Arial,sans-serif"><br></span></div><div><span style="color:rgb(51,51,51);font-family:"Roboto Condensed","Helvetica Neue",Helvetica,Arial,sans-serif">Kurt Gödel--Separating Truth from Proof in Mathematics</span><br></div><div><span style="color:rgb(51,51,51);font-family:"Roboto Condensed","Helvetica Neue",Helvetica,Arial,sans-serif"><br></span></div><div><a href="https://science.sciencemag.org/content/298/5600/1899" target="_blank">https://science.sciencemag.org/content/298/5600/1899</a></div><div><br></div><div><a href="https://www.amazon.com/G-C3-B6dels-Theorem-Incomplete-Guide-Abuse-ebook-dp-B08DSH7WYR/dp/B08DSH7WYR/ref=mt_other?_encoding=UTF8&me=&qid=" target="_blank">https://www.amazon.com/G-C3-B6dels-Theorem-Incomplete-Guide-Abuse-ebook-dp-B08DSH7WYR/dp/B08DSH7WYR/ref=mt_other?_encoding=UTF8&me=&qid=</a></div><div><br><br>P.S.<br>There is a related but somehow different issue with statistics. You can make precise definitions of probability, distributions, randomness but what that really means is not understood in my opinion. It is basically a term for "we don't know what drives this process, so it is random". But the most exciting places are where dragons live. These are definitely dragon lands. </div><div><br><br><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Mar 24, 2021 at 9:39 AM William Flynn Wallace via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" target="_blank">extropy-chat@lists.extropy.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:large;color:rgb(0,0,0)">He wanted to know the meaning of this statement:</div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:large;color:rgb(0,0,0)"><br></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;color:rgb(0,0,0)"><span style="font-family:arial">Mathematics is true, but it doesn't exist.</span><span style="font-size:13.3333px;font-family:arial">"</span><br></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;color:rgb(0,0,0)"><br></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;color:rgb(0,0,0)"><span style="font-size:13.3333px;font-family:arial">bill w</span></div></div>
_______________________________________________<br>
extropy-chat mailing list<br>
<a href="mailto:extropy-chat@lists.extropy.org" target="_blank">extropy-chat@lists.extropy.org</a><br>
<a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat" rel="noreferrer" target="_blank">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br>
</blockquote></div>
</blockquote></div>
</blockquote></div>