{"id":3647,"date":"2023-11-23T08:12:02","date_gmt":"2023-11-23T13:12:02","guid":{"rendered":"https:\/\/sites.williams.edu\/Morgan\/?page_id=3647"},"modified":"2023-11-23T08:12:02","modified_gmt":"2023-11-23T13:12:02","slug":"guessing-the-prime-number-theorem-and-treacherous-logic","status":"publish","type":"page","link":"https:\/\/sites.williams.edu\/Morgan\/math-chat-archives\/guessing-the-prime-number-theorem-and-treacherous-logic\/","title":{"rendered":"GUESSING THE PRIME NUMBER THEOREM AND TREACHEROUS LOGIC"},"content":{"rendered":"<p>August 19, 1999<\/p>\n<p>&nbsp;<\/p>\n<p>The Prime Number theorem says that the probability P(x) that a large integer x is prime is about 1\/log x. At about age 16 Gauss apparently conjectured this estimate after studying tables of primes. Greg Martin suggested to me the following heuristic way to approach the same conjecture.<\/p>\n<p>Suppose that there is a nice probability function P(x) that a large integer x is prime. As x increases by\u00a0<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mathchat.org\/delta.gif\" width=\"11\" height=\"11\" \/>\u00a0x = 1, the new potential divisor x is prime with probability P(x) and divides future numbers with probability 1\/x. Hence P gets multiplied by (1 &#8211; P\/x),\u00a0<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mathchat.org\/delta.gif\" width=\"11\" height=\"11\" \/>\u00a0P = &#8211; P<sup>2<\/sup>\/x, or roughly<\/p>\n<p>P&#8217; = &#8211; P<sup>2<\/sup>\/x.<\/p>\n<p>The general solution to this differential equation is P(x) = 1\/log cx.<\/p>\n<p><b>OLD CHALLENGE<\/b>\u00a0(via Charles Chace). Consider a statement of the form<\/p>\n<p>(P and Q) =&gt; R if and only if (P =&gt; R) or (Q =&gt; R).<\/p>\n<p>Is this a logical truth? What if<\/p>\n<p>P is &#8220;a<sub>i<\/sub>\u00a0is monotone&#8221;<\/p>\n<p>Q is &#8220;a<sub>i<\/sub>\u00a0is bounded&#8221;<\/p>\n<p>R is &#8220;a<sub>i<\/sub>\u00a0is convergent&#8221;<\/p>\n<p>(where a<sub>i<\/sub>\u00a0represents a sequence of real numbers).<\/p>\n<p><b>ANSWER.<\/b>\u00a0As best explained by Mario Bourgoin, technically this IS a logical truth, which holds for any particular P, Q, R. Logically, P =&gt; R means that if P is true, then R is true; i.e., either R is true or P is false. Of course both sides of the given statement are true if R is true. Suppose R is false. Then each side holds precisely when P is false or Q is false.<\/p>\n<p>For any particular nonconvergent sequence a<sub>i<\/sub>, either monotonicity implies convergence (because the sequence is not monotone) or boundedness implies convergence (because the sequence is not bounded). (Peter Hegarty points out that what is not true is the more common type of statement with &#8220;for all&#8221; through it: &#8220;for all sequences monotonicity implies convergence or for all sequences boundedness implies convergence.&#8221;)<\/p>\n<p>The logic that a false statement implies anything is well illustrated by Ed Brahinsky&#8217;s response to a piano student&#8217;s claim to have practiced 200 hours one week: &#8220;If you practiced 200 hours this week, then I&#8217;m a monkey&#8217;s uncle.&#8221;<\/p>\n<p><b>NEW CHALLENGE.<\/b>\u00a0Estimate the life span of the human race.<\/p>\n<p>Send answers, comments, and new questions by email to\u00a0<a href=\"mailto:Frank.Morgan@williams.edu\">Frank.Morgan@williams.edu<\/a>, to be eligible for Flatland and other book awards. Winning answers will appear in the next Math Chat. Math Chat appears on the first and third Thursdays of each month. Prof. Morgan&#8217;s homepage is at\u00a0<a href=\"http:\/\/www.williams.edu\/Mathematics\/fmorgan\">www.williams.edu\/Mathematics\/fmorgan<\/a>.<\/p>\n<p>Copyright 1999, Frank Morgan.<\/p>\n<p>&nbsp;<\/p>\n<hr \/>\n","protected":false},"excerpt":{"rendered":"<p>August 19, 1999 &nbsp; The Prime Number theorem says that the probability P(x) that a large integer x is prime is about 1\/log x. At about age 16 Gauss apparently conjectured this estimate after studying tables of primes. Greg Martin suggested to me the following heuristic way to approach the same conjecture. Suppose that there [&hellip;]<\/p>\n","protected":false},"author":2965,"featured_media":0,"parent":3459,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-3647","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3647","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/users\/2965"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/comments?post=3647"}],"version-history":[{"count":1,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3647\/revisions"}],"predecessor-version":[{"id":3648,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3647\/revisions\/3648"}],"up":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3459"}],"wp:attachment":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/media?parent=3647"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}