On Sat, Mar 16, 2013 at 8:14 PM, michel paul <span dir="ltr"><<a href="mailto:pythonic.math@gmail.com" target="_blank">pythonic.math@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div class="gmail_default" style="font-family:'trebuchet ms',sans-serif">This was the title of a 5-minute 'lightening talk' by Allen Downey, author of <a href="http://www.greenteapress.com/thinkpython/html/index.html" target="_blank">Think Python</a>, during the educational summit here at PyCon. <span style="font-size:13px">Main points:</span></div>
<div class="gmail_default" style="font-family:'trebuchet ms',sans-serif"><span style="font-size:13px"><br></span></div><div class="gmail_default" style="font-family:'trebuchet ms',sans-serif"><b style="font-family:arial,sans-serif;font-size:13px;font-weight:normal"><ul style="margin-top:0pt;margin-bottom:0pt">
<li style="margin-left:15px;list-style-type:disc;background-color:transparent;vertical-align:baseline"><font color="#000000" face="trebuchet ms, sans-serif"><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">Nat<div class="gmail_default" style="display:inline">
ural L</div>ang<div class="gmail_default" style="display:inline">uage</div>: </span><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">expressive and readable</span><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">, but verbose and imprecise.</span></font></li>
<li style="margin-left:15px;list-style-type:disc;background-color:transparent;vertical-align:baseline"><font color="#000000" face="trebuchet ms, sans-serif"><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">Math<div class="gmail_default" style="display:inline">
ematical notation</div>: </span><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">concise and precise</span><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">, but not readable or executable.</span></font></li>
<li style="margin-left:15px;list-style-type:disc;background-color:transparent;vertical-align:baseline"><font color="#000000" face="trebuchet ms, sans-serif"><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">M<div class="gmail_default" style="display:inline">
ost</div> programming languages: </span><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">precise and executable</span><span style="background-color:transparent;vertical-align:baseline;white-space:pre-wrap">, but verbose and not readable.</span></font></li>
</ul><div><br></div><div><font color="#000000" face="trebuchet ms, sans-serif"><span style="white-space:pre-wrap">Hmmm ... can anyone think of an expressive, readable, concise, precise, and executable symbolic language? : )</span></font></div>
<div><font color="#000000" face="trebuchet ms, sans-serif"><span style="white-space:pre-wrap"><br></span></font></div></b></div></div></blockquote><div><br> Yes. I introduced myself to Allen later during coffee break, saying I recommend his book rather frequently to my students (an O'Reilly book after all, though also free on the web). I was thinking of 'Thinking Python' which inherits though 'How to Think...' and Jeff Elkner's edition. <br>
<br>However, I should also be reading, then recommending his 'Thinking Complexity' as I think that whole field, of fractals, butterfly effects, cellular automata, is providing that wealth of material we need wherein pre-computer mathematics stays relevant for sure, but needs our new tools and notations in addition.<br>
<br>I'm not saying that to be exclusive of other areas of mathematics. Those of us old enough remember the big splash fractals made, because of their merit as art objects, by which I mean nothing dismissive either. Suddenly, our computer graphics capabilities were being exercised to their max. Plus now there's the Mandelbulb.<br>
<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:'trebuchet ms',sans-serif"><b style="font-family:arial,sans-serif;font-size:13px;font-weight:normal"><div>
<font color="#000000" face="trebuchet ms, sans-serif"><span style="white-space:pre-wrap"></span></font></div><div><font color="#000000" face="trebuchet ms, sans-serif"><span style="white-space:pre-wrap"><div class="gmail_default" style="display:inline">
He went on to show a traditional mathematical formula representing Bayesian inference and compared it to the corresponding Python code. The Python code was similar to natural language and represented a flow of ideas. It was comprehensible. His point was that we often think we need to first express our ideas in traditional mathematical notation and then translate the math into executable code. But his point was no, we can code our ideas directly. It is a new kind of mathematical expression.</div>
</span></font></div></b></div></div></blockquote><div><br>Even just a single Sigma becomes more comprehensible as a for loop, or even a generator where infinite sequences and series are concerned.<br><br><a href="http://www.4dsolutions.net/ocn/overcome.html">http://www.4dsolutions.net/ocn/overcome.html</a><br>
<br> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:'trebuchet ms',sans-serif"><b style="font-family:arial,sans-serif;font-size:13px;font-weight:normal"><div>
<font color="#000000" face="trebuchet ms, sans-serif"><span style="white-space:pre-wrap">
</span></font></div><div><br></div><div><b style="font-weight:normal"><b style="font-weight:normal"><font color="#000000" face="trebuchet ms, sans-serif"><span style="white-space:pre-wrap">I was so delighted to hear this, as these are the conclusions I have come to as well. It's absolutely true that coding reflectively </span></font></b></b><font color="#000000" face="trebuchet ms, sans-serif"><span style="white-space:pre-wrap">helps clarify one's ideas, and this is why it belongs in education. I've repeatedly had the experience that coding something I had long taken for granted in math got me to see it in a new light. I've come to view traditional math syntax as a kind of clever shorthand we developed before we had computers. I think the traditional syntax creates a kind of cognitive illusion in students and teachers that that's 'really' the math. </span></font><b style="font-weight:normal"><div style="display:inline!important">
<span style="font-family:'trebuchet ms',sans-serif">And then throwing calculators into the mix just solidifies the illusion. Everyone in K-12, students and teachers, thinks that the math is 'really' on a piece of paper, in traditional notation, and that the technology is something on the side we turn to in order to help us get the math onto the paper when the calculations get too tough. I think that picture is flawed and antiquated. The technology itself is the new paper. Computational languages are the new algebra.</span></div>
</b></div></b></div><div><br></div></div></blockquote><div><br>We're on the same page as the Mathematica people here, and I don't think we should worry about any winner-take-all, king-of-the-hill story here. IPython Notebook has a Mathematica flavor and that's fine, so does Sage. We're in a synergy relationship.<br>
<br>That's especially true in the space of my workplace, where a lot of the brain cycles have been committed to Hilbert, software that brings in Mathematica over the server to a browser-based client. Others of us teach Python and other executable notations. Per your integrating vision, it's all one domain.<br>
<br><a href="http://www.makingmath.com/">http://www.makingmath.com/</a> (same group as O'Reilly School)<br><br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div></div><div><div style="font-family:'trebuchet ms',sans-serif" class="gmail_default">PyCon was amazing. It was my first one. Very inspiring. Time definitely well spent.</div></div><div>
<br></div>-- <div style="font-family:'trebuchet ms',sans-serif;display:inline" class="gmail_default">Michel</div></div></blockquote><div><br>Glad we got to meet.<br><br>I know my little talk was kinda quirky, and that sometimes worries newbies (my somewhat stream of consciousness style...), but they tend to be reassured that I'm a known quantity, my quirkiness just part of my style. <br>
<br>I gave my talk again with different emphasis in the Great Hall on Saturday morning. My gave more focus to my "generator tractor" and the fact that it takes data in through yield, doesn't just give data out. <br>
<br>This proved to be a good segue to Raymond Hettinger's keynote I thought. He was likewise extolling the virtues of the keyword 'yield' as among Python's salient and cutting-edge features.<br><br>Kirby<br>
<br></div></div>