<div dir="ltr">David,  <div><br></div><div>I will address one of the Bear questions.  The rationals are a dense subset of the real line.  That is, given any interval of the real line there exists a rational number in it and it easily follows that there are a countably infinite set of rationals in the interval (see below for a proof found with Google.  I don't quite remember the proof.  It's been 55 years).  The rational numbers are however a set of measure zero.  See another proof below.  That's equivalent to saying that choosing a real number arbitrarily you have zero probability of choosing a rational.  (Nobody does this).  These are easy proofs because they could be much more general.  If you have any questions, let me know.</div><div><br></div><div>Theorem:  The rationals are dense in the real line</div><div><br></div><div>Proof:  <em style="box-sizing:border-box;margin:0px;padding:0px;border:0px;font-size:14px;vertical-align:baseline;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif">Proof. </em><span style="color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif;font-size:14px">Since </span><img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-e95167381e6cd4e696d0d1e5bbd8e4ed_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="x < y" title="Rendered by QuickLaTeX.com" height="12" width="38" style="box-sizing: border-box; font-size: 14px; vertical-align: -3px; max-width: 100%; height: auto; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; color: rgb(23, 23, 23); font-family: "Noto Serif", Georgia, Times, "Times New Roman", serif; margin: 0px; padding: 0px; border: none;"><span style="color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif;font-size:14px">, we know </span><img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-0c497598b5da916ed0c9ae812d4f4178_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="(y-x)> 0" title="Rendered by QuickLaTeX.com" height="16" width="76" style="box-sizing: border-box; font-size: 14px; vertical-align: -4px; max-width: 100%; height: auto; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; color: rgb(23, 23, 23); font-family: "Noto Serif", Georgia, Times, "Times New Roman", serif; margin: 0px; padding: 0px; border: none;"><span style="color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif;font-size:14px">. Therefore, there exists an </span><img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-5e02e7b24e5e6de18d86e5d897dd21db_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="n \in \mathbb{Z}^+" title="Rendered by QuickLaTeX.com" height="14" width="47" style="box-sizing: border-box; font-size: 14px; vertical-align: -1px; max-width: 100%; height: auto; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; color: rgb(23, 23, 23); font-family: "Noto Serif", Georgia, Times, "Times New Roman", serif; margin: 0px; padding: 0px; border: none;"><span style="color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif;font-size:14px"> such that</span></div><p style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif"></p><p class="gmail-ql-center-displayed-equation" style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif;line-height:16px;text-align:center;white-space:nowrap;overflow:hidden"><span class="gmail-ql-right-eqno" style="box-sizing:border-box;margin:0px;padding:0px;border:0px;font-size:15.4px;vertical-align:baseline;width:3em;text-align:right;float:right;display:inline-block"> </span><span class="gmail-ql-left-eqno" style="box-sizing:border-box;margin:0px;padding:0px;border:0px;font-size:15.4px;vertical-align:baseline;width:3em;text-align:left;float:left;display:inline-block"> </span><img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-b4399535ce2a3476748bfd74487269df_l3.svg" height="16" width="246" class="gmail-ql-img-displayed-equation gmail-quicklatex-auto-format" alt="\[ n(y-x) > 1 \quad \implies \quad ny > nx+1. \]" title="Rendered by QuickLaTeX.com" style="box-sizing: border-box; max-width: 85%; height: auto; margin: 20px 0px 0px; padding: 0px; border: none; vertical-align: middle; background: none; display: inline-block;"></p><p style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif">We also know (<a href="http://stumblingrobot.com/2015/06/30/prove-that-any-real-number-lies-between-exactly-one-pair-of-consecutive-integers/" style="box-sizing:border-box;margin:0px;padding:0px;border:0px;vertical-align:baseline;color:rgb(48,112,209)">I.3.12, Exercise #4</a>) that there exists <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-e9b5c8210a23aabbd361a9cf95b63d8f_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="m \in \mathbb{Z}" title="Rendered by QuickLaTeX.com" height="12" width="43" style="box-sizing: border-box; vertical-align: -1px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;"> such that <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-65b4a495056dbe7d8b26606c9872c65c_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="m \leq nx < m+1" title="Rendered by QuickLaTeX.com" height="13" width="113" style="box-sizing: border-box; vertical-align: -2px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;">. Putting these together we have,</p><p class="gmail-ql-center-displayed-equation" style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif;line-height:54px;text-align:center;white-space:nowrap;overflow:hidden"><span class="gmail-ql-right-eqno" style="box-sizing:border-box;margin:0px;padding:0px;border:0px;font-size:15.4px;vertical-align:baseline;width:3em;text-align:right;float:right;display:inline-block"> </span><span class="gmail-ql-left-eqno" style="box-sizing:border-box;margin:0px;padding:0px;border:0px;font-size:15.4px;vertical-align:baseline;width:3em;text-align:left;float:left;display:inline-block"> </span><img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-32e2b5dd1b8ee543024ffb06a8c58b3a_l3.svg" height="54" width="349" class="gmail-ql-img-displayed-equation gmail-quicklatex-auto-format" alt="\begin{align*}  nx < m+1 \leq nx+1 < ny &\implies \ nx < m+1 < ny \\ &\implies \ x < \frac{m+1}{n} < y. \end{align*}" title="Rendered by QuickLaTeX.com" style="box-sizing: border-box; max-width: 85%; height: auto; margin: 20px 0px 0px; padding: 0px; border: none; vertical-align: middle; background: none; display: inline-block;"></p><p style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif">Since <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-b2d7e30e06c34da181f100ea806090ff_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="m,n \in \mathbb{Z}" title="Rendered by QuickLaTeX.com" height="14" width="59" style="box-sizing: border-box; vertical-align: -3px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;"> we have <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-6a678f0368d9dc9b69d674f77ac52818_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="\frac{m+1}{n} \in \mathbb{Q}" title="Rendered by QuickLaTeX.com" height="19" width="59" style="box-sizing: border-box; vertical-align: -5px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;">. Hence, letting <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-534bfd1c700c5e3b7fb782ed3c5d0da1_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="r = \frac{m+1}{n}" title="Rendered by QuickLaTeX.com" height="19" width="57" style="box-sizing: border-box; vertical-align: -5px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;"> we have found <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-3292d3d4773ed6482fa271e9937a2623_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="r \in \mathbb{Q}" title="Rendered by QuickLaTeX.com" height="14" width="39" style="box-sizing: border-box; vertical-align: -3px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;"> such that</p><p class="gmail-ql-center-displayed-equation" style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif;line-height:12px;text-align:center;white-space:nowrap;overflow:hidden"><span class="gmail-ql-right-eqno" style="box-sizing:border-box;margin:0px;padding:0px;border:0px;font-size:15.4px;vertical-align:baseline;width:3em;text-align:right;float:right;display:inline-block"> </span><span class="gmail-ql-left-eqno" style="box-sizing:border-box;margin:0px;padding:0px;border:0px;font-size:15.4px;vertical-align:baseline;width:3em;text-align:left;float:left;display:inline-block"> </span><img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-6fd58a58c252cb53a5b072049e9b71e0_l3.svg" height="12" width="69" class="gmail-ql-img-displayed-equation gmail-quicklatex-auto-format" alt="\[ x < r < y. \]" title="Rendered by QuickLaTeX.com" style="box-sizing: border-box; max-width: 85%; height: auto; margin: 20px 0px 0px; padding: 0px; border: none; vertical-align: middle; background: none; display: inline-block;"></p><p style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif">This then guarantees infinitely many such rationals since we can just replace <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-9dbb67d5fbb8ec5140bfda1e8bbf1d5c_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="y" title="Rendered by QuickLaTeX.com" height="10" width="8" style="box-sizing: border-box; vertical-align: -3px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;"> by <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-d2c9423864b2802dea46aede5ca1a85d_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="r" title="Rendered by QuickLaTeX.com" height="7" width="7" style="box-sizing: border-box; vertical-align: 0px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;"> (and note that <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-22dedb13285acd1288de214b9584df47_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="\mathbb{Q} \subseteq \mathbb{R}" title="Rendered by QuickLaTeX.com" height="14" width="44" style="box-sizing: border-box; vertical-align: -3px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;">) and apply the theorem again to find <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-07025e9e231a4c641b77e9f758ed9e82_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="r_1 \in \mathbb{Q}" title="Rendered by QuickLaTeX.com" height="14" width="45" style="box-sizing: border-box; vertical-align: -3px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;"> such that <img src="http://www.stumblingrobot.com/wp-content/ql-cache/quicklatex.com-8ac97b47621a107929648222b1c4235e_l3.svg" class="gmail-ql-img-inline-formula gmail-quicklatex-auto-format" alt="x < r_1 < r" title="Rendered by QuickLaTeX.com" height="12" width="71" style="box-sizing: border-box; vertical-align: -3px; max-width: 100%; height: auto; margin: 0px; padding: 0px; border: none; background: none;">. Repeating this process we obtain infinitely many such rationals</p><p style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif">Theorem:  The rationals are a set of measure zero.</p><p style="box-sizing:border-box;margin:0px 0px 2.2rem;padding:0px;border:0px;font-size:14px;vertical-align:baseline;word-break:break-word;color:rgb(23,23,23);font-family:"Noto Serif",Georgia,Times,"Times New Roman",serif">Proof:  <span style="color:rgb(0,0,0);font-family:Arial,Helvetica,sans-serif;font-size:small">Date: 05/13/2001 at 08:18:54</span></p><pre style="color:rgb(0,0,0)">From: Doctor Paul
Subject: Re: Countable sets and measure zero

if S is countable, then we can write down the elements of S:

     S = {s1, s2, s3, ...}

Now recall what it means for a set to have measure zero. It means that 
given any epsilon > 0, we can cover S with a countable number of 
intervals, rectangles, cubes, or "boxes" (depending on whether we're 
talking about R^1, R^2, R^3, or R^k for k > 3) that satisfies this 
property:

   the sum of the "volumes" (use length or area if appropriate) of 
   these "boxes" is less than epsilon.

Since we're in R^1, we need to cover S with a countable number of 
intervals such that the sum of the lengths of the intervals is less 
than epsilon.

It's not an obvious proof, but once you see it, it's easy.

I'm going to use e for epsilon.

Put a disk around s1 of radius e/4. So you have essentially put a disk 
that covers the interval {s1 - e/8 , s1 + e/8).

Now go to s2. Put a disk around s2 of radius e/8: you get
(s2 - e/16 , s2 + e/16)

Do you see the pattern?

When it's all said and done, you have an infinite number of intervals 
whose lengths are:

     e/4, e/8, e/16, e/32, ...

We want to add these up and show that the total is less than epsilon.

By summing an infinite geometric series, we see that the sum of the 
lengths of these intevals is e/2 < e, and that completes the proof.

This shows, for instance, that the rationals in the intervals [0,1] 
has measure zero.
</pre><br class="gmail-Apple-interchange-newline"></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, May 27, 2020 at 2:37 PM Prof David West <<a href="mailto:profwest@fastmail.fm" target="_blank">profwest@fastmail.fm</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">I recommended this book, Excellent Beauty by Eric Dietrich last week at vFRIAM. I think it has a lot to contribute to many of our recent discussions, but doubt that many will have/take the time to read it, so a short synopsis and discussion starting points might be in order?<br>
<br>
The book is fundamentally about "mysteries," things we do not understand, and two approaches to dealing with mystery: religion and science.<br>
<br>
Circa Galileo, The Church was the sole source of authoritative explanation and if science had the temerity to challenge that authority, either with contradictory explanations or exposure of mysteries for which The Church had no explanations, then science was heresy and suppressed.<br>
<br>
Fast forward and today Science claims to be the sole source of authoritative explanation. If religion has the temerity to challenge that authority then religion is derided, denigrated, and dismissed.<br>
<br>
The royal road, in fact the only road, to Truth is the scientific method and the method advanced by Peirce - who is quoted in the book.<br>
<br>
All would be well except for the annoying fact that roughly 80% of human beings remain religious and seek religion based explanations and often prefer the religion-based explanations over the scientific ones. Exemplar case: evolution.<br>
<br>
Which presents an interesting mystery — why does religion persist in the face of all the evidence against it? Can science offer and explanation for this mystery?<br>
<br>
Friend Jochen offered FRIAM his book, Hidden Genes, which addresses this issue. Jochen ground his argument in analogs / metaphors derived from genetics and evolution. Dietrich also looks to evolution. Parallels can be found between both arguments, but I will summarize Dietrich.<br>
<br>
Religion persists because it offers evolutionary advantage at the group level. Dietrich is borrowing David Sloan Wilson's arguments in Darwin's Cathedral; religion-as-group-glue.<br>
<br>
[[ Dietrich makes an error in this discussion, one that Jochen and Sloan make as well. Quoting Dietrich, "Note that all people on earth have a religion. No culture has ever existed that had no religion at all."  This is a mistake.  There is evidence that every culture, historic or pre, had some kind of belief in the supernatural.  Religion, however, is a modern invention, made possible only after agriculture and urbanization made it possible for people to adopt specialist roles: butcher, baker, candlestick maker, PRIEST, KING, theologian, etc. Religion has existed for about the last 3-4000 years, out of 1.3-1.8 million years of human existence. ]]<br>
<br>
Dietrich borrows Daniel Dennet's explanation for the origin or religion: humans have a series of "devices" for facial recognition, agent detection, "unusual but memorable combinations" (e.g. talking trees, Thor's hammer), explanation, and, combining the preceding in various ways, a fiction generating device. The latter explains religion. Having these devices enhanced individual survival and fiction==>religion provided the group selection advantage.<br>
<br>
All interesting, but still leaves open the question of from what source should we seek explanations of mystery: religion or science.<br>
<br>
Gould proposed "non-overlapping magesteria" as a compromise. Dietrich demolishes this suggestion, leaving science as the only explainer standing.<br>
<br>
But, there are mysteries that are beyond science — the "excellent beauties." An excellent beauty is a mystery that science reveals but cannot explain. And Dietrich means CANNOT, not cannot yet.<br>
<br>
Three specific excellent beauties are discussed and a half-dozen others are introduced. The first of which is "The Conscious Self." This is a topic that has come up often at FRIAM and those discussion, I believe, would be greatly enhanced with a reading of this section of Dietrich's book.<br>
<br>
A second example is "Infinity and Beyond" which I will not even attempt to summarize, but I encourage all the mathematicians on the list to read what he says and explain it to me.  BTW, mathematicians, did "Godel derive a solution to Einstein's relativity equations that shows time is circular"? Can you explain that to a bear of little brain?<br>
<br>
The third discussion is of the "Rarity of the Commonplace" — how the mundane reality about us is so improbable. Part of this discussion deals with causality (another frequent FRIAM topic, but not so much recently), part with the fact that only 4% of the Universe is ordinary matter, and part that is corollary to the discussion of infinities. Part of the latter: a Real Line is made up of the rational and the irrational numbers, both of which are infinite in number. The rationals are infinitely dense and so take up zero percent of the Real Line.  Again, mathematicians, a bear of little brain asks for an explanation.<br>
<br>
The conclusion of the book is an argument for why excellent beauties are beyond scientific explanation. <br>
<br>
He juxtaposes Chalmers notion of "scrutability" (comprehensibility) — which is held to be the exemplar of the Enlightenment / Peircian notion of science — and Robert Heinlein's (from the book Stranger in a Strange Land) "grok."<br>
<br>
Chalmers' scrutability thesis: "there is a compact class of truths such that knowing those truths suffices to know all other truths about our universe."<br>
<br>
Grok: thorough, intuitive, empathic understanding.<br>
<br>
E.g., we comprehend quantum physics to a robust extent, but we do not grok it.<br>
<br>
Science can expose profound mysteries. Those mysteries are natural not supernatural and religion is of no use in exploring or explaining them, Enlightenment ideals of science (and Peircian method) offer means to explore the mysteries and will generate, as side effects, lots of scrutability, but will not, can not, result in groking those mysteries.<br>
<br>
********<br>
I would really like to discuss many of the ideas in the book, but need others to take the time to read at least some parts of the book. Especially chapter ten and the appendix to chapter ten.<br>
<br>
davew<br>
<br>
<br>
<br>
<br>
-- --- .-. . .-.. --- -.-. -.- ... -..-. .- .-. . -..-. - .... . -..-. . ... ... . -. - .. .- .-.. -..-. .-- --- .-. -.- . .-. ...<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/FRIAM-COMIC" rel="noreferrer" target="_blank">http://friam.471366.n2.nabble.com/<br>
FRIAM-COMIC</a> <a href="http://friam-comic.blogspot.com/" rel="noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> <br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr">Frank Wimberly<br>140 Calle Ojo Feliz<br>Santa Fe, NM 87505<br>505 670-9918</div>