tag:blogger.com,1999:blog-264226589944705290.post3235300297190877752..comments2021-12-14T05:53:12.175-08:00Comments on God Plays Dice: Telescopic textMichael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-264226589944705290.post-37938928620108631122008-08-26T00:20:00.000-07:002008-08-26T00:20:00.000-07:00Barry Mazur has an interesting concept of theorems...Barry Mazur has an interesting concept of <A HREF="http://www.math.harvard.edu/~mazur/preprints/Eva.Nov.20.pdf" REL="nofollow">theorems that prove temselves</A>. They are prime candidates for being written as telescopic texts. Any volunteer to try?Alexandre Borovikhttps://www.blogger.com/profile/11437354321695384127noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-51031701248108101142008-08-20T22:05:00.000-07:002008-08-20T22:05:00.000-07:00Rather than inlining the proofs of the steps, why ...Rather than inlining the proofs of the steps, why don't we make them more like subroutines? Like, we could prove some results in the abstract and then use them multiple times in different contexts as we need them.<BR/><BR/>And then we can extend the programming metaphor even further. We could take a bunch of standard results that people use a lot and throw them into "header" papers. Of course, we might have to state the results to keep them fresh in our minds, but we could keep the proofs "precompiled" so we don't have to bother with them. If we really need to know the internal mechanisms we can look up the original source.<BR/><BR/>In fact, we could amass collections of such previously-proven results and..<BR/><BR/>oh, wait...Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-19465515195268256202008-08-20T19:45:00.000-07:002008-08-20T19:45:00.000-07:00AaronToo much indentation, I think. The trickiest...Aaron<BR/><BR/>Too much indentation, I think. The trickiest parts would be the most-squished! <BR/><BR/>It might be better to systematically differentiate between the terms "proposition", "lemma", "theorem", "fact", "claim", and derived terms like "sublemma".Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-9829297418467737392008-08-20T19:25:00.000-07:002008-08-20T19:25:00.000-07:00Ooooh... that would be a GREAT way to write proofs...Ooooh... that would be a GREAT way to write proofs! And maybe, like Scott Carter mentioned, it could even be scaled up to the course level to good effect.<BR/><BR/>As far as print publication, couldn't you just use indentation to show the tree structure, as is typically done in outlines?Aaronhttps://www.blogger.com/profile/18281785407407667986noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-65432719350441628252008-08-20T17:48:00.000-07:002008-08-20T17:48:00.000-07:00I am going to get some of this wrong. Vladimir Nab...I am going to get some of this wrong. Vladimir Nabokov wrote a translation of the Russian epic poem<BR/><A HREF="http://en.wikipedia.org/wiki/The_Tale_of_Igor's_Campaign" REL="nofollow"> Igor's tale </A>. It was replete with scholarly foot notes so much so that it was quite unreadable --- sort of like Maharshi Yoga's translations and annotations of <A HREF="http://en.wikipedia.org/wiki/Bhagavad_Gita" REL="nofollow"><BR/>the Bhagavad Gita </A>. Our English class was told that Nabakov put in all the foot notes in order to satirize the trends in literary criticism at the time. <BR/><BR/><BR/>Jim Davis's piece is a masterpiece though!<BR/><BR/>Back to the math. I have often thought that the standard advanced calculus course has two main ideas: The real numbers are a complete totally ordered Archemedian field with the least upper bound property, and the various conclusions that one can draw by considering a continuous function on a compact set. <BR/><BR/>Unpacking those two concepts are the gist of the course.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-10065015724949036062008-08-20T16:55:00.000-07:002008-08-20T16:55:00.000-07:00I recently took a course where the professor taugh...I recently took a course where the professor taught that way. Overall sketch of the proof with a lot of assumptions. Then he'd take each assumption one by one and prove them (possibly recursing the same procedure).<BR/><BR/>At each step, you know exactly where you are and more importantly, <I>why</I> you're trying to prove the current lemma. The usual style is to build things up, but that methodology lacks motivation all the way until you see the major result in the end.<BR/><BR/>Additionally, I also suspect that this also reflects a mathematician's thought processes while working on a problem. <BR/><BR/>I can categorically say that was the best math class I took, and this style of teaching was no doubt a big factor. <BR/><BR/>In a sense, it's also more work for the reader/audience. They have to do some bookkeeping to make sure nothing was left unproven. IMO, unless we're talking about something really complex, that's not at all difficult to manage.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-13183483355907439102008-08-20T15:11:00.000-07:002008-08-20T15:11:00.000-07:00That's kind of how I try to write lectures--start ...That's kind of how I try to write lectures--start sketchy, but have prepared different levels of detail to sub in if I get a question about a particular step.Anonymousnoreply@blogger.com