<div dir="auto">A famous proof that is on God's or god's book:<div dir="auto"><br></div><div dir="auto">Thm:. The square root of two is not rational.</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</div><div dir="auto"> p*p/q*q = 2.  Therefore p*p = 2*q*q so</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</div><div dir="auto"><br></div><div dir="auto">Constructivists do not accept proof by contradiction because it depends on the law of the excluded middle. Is this all correct, Jon?<br><div data-smartmail="gmail_signature" dir="auto">---<br>Frank C. Wimberly<br>140 Calle Ojo Feliz, <br>Santa Fe, NM 87505<br><br>505 670-9918<br>Santa Fe, NM</div></div></div><br><div class="gmail_quote"><div dir="ltr" class="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="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">By John L. Casti and Anders Karlqvist<br>
<br>
Casti seems to hail from Santa Fe — anybody know him?<br>
<br>
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>
<br>
The subtitle of the book is "stories and myths in the creation of scientific 'truth'."<br>
<br>
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>
<br>
"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>
<br>
If a proof is a story, then a memorable proof must tell a ripping yarn."<br>
<br>
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>
<br>
davew<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 noreferrer noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
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>
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> <br>
</blockquote></div>