<!DOCTYPE html><html><head><title></title><style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><div style="font-family:Arial;">Steve /Moderator - ignore two previous posts with too big of an attachement.<br></div><div style="font-family:Arial;">All - ignore the blank message — having a hard time getting started this morning.<br></div><div style="font-family:Arial;"><br></div><div style="font-family:Arial;"><br></div><div style="font-family:Arial;"><br></div><div style="font-family:Arial;"><br></div><div style="font-family:Arial;">Stewart talks about Erdos — "we have the proof, now let us find the Book Proof."<br></div><div style="font-family:Arial;"><br></div><div style="font-family:Arial;">The attached is the start of a "proof" of the three little pigs.<br></div><div style="font-family:Arial;"><br></div><div style="font-family:Arial;">davew<br></div><div style="font-family:Arial;"><br></div><div style="font-family:Arial;"><br></div><div>On Sun, May 17, 2020, at 10:29 PM, Frank Wimberly wrote:<br></div><blockquote type="cite" id="qt" style=""><div dir="auto"><div>A famous proof that is on God's or god's book:<br></div><div dir="auto"><br></div><div dir="auto">Thm:. The square root of two is not rational.<br></div><div dir="auto"><br></div><div dir="auto">Proof: Assume sqrt(2) = p/q a fraction where p and q have no common factors. Square both sides of the equation so<br></div><div dir="auto"> p*p/q*q = 2. Therefore p*p = 2*q*q so<br></div><div dir="auto">p*p is even which means p is even. So p*p is a multiple of 4. Therefore q*q is even which means p and q are both even contradicting the assumption that p and q have no common factors. Therefore sqrt(2) is not rational. QED<br></div><div dir="auto"><br></div><div dir="auto"><div>Constructivists do not accept proof by contradiction because it depends on the law of the excluded middle. Is this all correct, Jon?<br></div><div dir="auto"><div>---<br></div><div>Frank C. Wimberly<br></div><div>140 Calle Ojo Feliz, <br></div><div>Santa Fe, NM 87505<br></div><div><br></div><div>505 670-9918<br></div><div>Santa Fe, NM<br></div></div></div></div><div><br></div><div class="qt-gmail_quote"><div dir="ltr" class="qt-gmail_attr">On Sun, May 17, 2020, 9:17 PM Prof David West <<a href="mailto:profwest@fastmail.fm" rel="noreferrer noreferrer" target="_blank">profwest@fastmail.fm</a>> wrote:<br></div><blockquote class="qt-gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-color:rgb(204, 204, 204);border-left-style:solid;border-left-width:1px;padding-left:1ex;"><div>By John L. Casti and Anders Karlqvist<br></div><div> <br></div><div> Casti seems to hail from Santa Fe — anybody know him?<br></div><div> <br></div><div> Our conversations involving metaphor and story and science prompted me to reread this book over the weekend. I would like to highly recommend it to everyone on the list.<br></div><div> <br></div><div> The subtitle of the book is "stories and myths in the creation of scientific 'truth'."<br></div><div> <br></div><div> Jon, Frank and anyone else who identifies as a mathematician will enjoy / find interesting the chapter by Ian Steward, "Secret Narratives of Mathematics." From the chapter:<br></div><div> <br></div><div> "A proof is a story. Not any old story. It has to take off from the hypothesis and end by confirming the conclusion. Not end with the conclusion, by the way — any more than a novel is obliged to end with the hero and heroine riding off together into the sunset. The story ends when the conclusion is firmly pinned down. (This is where you stop and put your Halmos symbol.)<br></div><div> <br></div><div> If a proof is a story, then a memorable proof must tell a ripping yarn."<br></div><div> <br></div><div> Lot's of fun stuff about evolution, computational thinking, algorithmic and ascetic storytelling, something for everyone interested in science, how science is done, science as communication, science and prediction.<br></div><div> <br></div><div> davew<br></div><div> <br></div><div> -- --- .-. .-.. --- -.-. -.- ... -..-. .- .-. . -..-. - .... . -..-. . ... ... . -. - .. .- .-.. -..-. .-- --- .-. -.- . .-. ...<br></div><div> FRIAM Applied Complexity Group listserv<br></div><div> Zoom Fridays 9:30a-12p Mtn GMT-6 <a href="http://bit.ly/virtualfriam" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br></div><div> un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br></div><div> archives: <a href="http://friam.471366.n2.nabble.com/FRIAM-COMIC" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/<br> FRIAM-COMIC</a> <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> </div></blockquote></div><div>-- --- .-. .-.. --- -.-. -.- ... -..-. .- .-. . -..-. - .... . -..-. . ... ... . -. - .. .- .-.. -..-. .-- --- .-. -.- . .-. ...<br></div><div>FRIAM Applied Complexity Group listserv<br></div><div>Zoom Fridays 9:30a-12p Mtn GMT-6 <a href="http://bit.ly/virtualfriam">bit.ly/virtualfriam</a><br></div><div>un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br></div><div>archives: <a href="http://friam.471366.n2.nabble.com/">http://friam.471366.n2.nabble.com/</a><br></div><div>FRIAM-COMIC <a href="http://friam-comic.blogspot.com/">http://friam-comic.blogspot.com/</a> <br></div><div><br></div></blockquote><div style="font-family:Arial;"><br></div></body></html>