tag:blogger.com,1999:blog-11295132.post7006108276900271122..comments2017-01-18T02:25:19.116-08:00Comments on A Neighborhood of Infinity: Using Thermonuclear Pennies to Embed Complex Numbers as TypesDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-11295132.post-78739332728844452792007-12-21T16:29:00.000-08:002007-12-21T16:29:00.000-08:00Hi Sigfpe. Regarding your last couple of paragrap...Hi Sigfpe. Regarding your last couple of paragraphs, you might be interested in a couple of papers that Marcelo Fiore and I wrote. One of them is specifically about the equation Tree = 1 + Tree + Tree^2:<BR/><BR/><A HREF="http://arxiv.org/abs/math.RA/0211454" REL="nofollow">here</A><BR/><BR/>and the other explores the general principle behind this kind of calculation:<BR/><BR/><A HREF="http://arxiv.org/abs/math.CT/0212377" REL="nofollow">here</A>Tom Leinsterhttp://www.maths.gla.ac.uk/~tlnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-69284320961732488622007-10-23T08:43:00.000-07:002007-10-23T08:43:00.000-07:00I like writing posts in literate Haskell. The code...I like writing posts in literate Haskell. The code is the text and that helps guarantee correctness. But when there's no code to check, there's no compiler or executable to check what you've written...sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-67624288817583888212007-10-23T08:12:00.000-07:002007-10-23T08:12:00.000-07:00Same for the picture explaining multiplication, I ...Same for the picture explaining multiplication, I believe. The two penny configurations to the left and above the multiplication table don't seem to match up with the operands to the multiplication at the top of the image.Davidhttp://www.blogger.com/profile/03396164169951516460noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-61381063285397075392007-10-21T07:48:00.000-07:002007-10-21T07:48:00.000-07:00Well spotted guys, there was definitely a 'picto' ...Well spotted guys, there was definitely a 'picto' there :-)sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-83697771534777697222007-10-21T02:43:00.000-07:002007-10-21T02:43:00.000-07:00Your move descriptions and diagrams don't seem to ...Your move descriptions and diagrams don't seem to quite match up. It looks like you're using x = 1 + 2x + x^2 for the diagrams, as the central cell goes from 1 to 2 pennies.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-4652071259549084682007-10-20T22:16:00.000-07:002007-10-20T22:16:00.000-07:00Quick question: is there a "typo" in legal2.png, t...Quick question: is there a "typo" in legal2.png, the graphic showing the fusion style of move? Specifically, I think there should be <B>two</B> pennies stacked on the second cell, since there was one there already and then a second one would be added from the fusion. Right? (Or else I misunderstand the rules, or perhaps I am just taking the stacking count a little too seriously.)<BR/><BR/>(By the way, is there a pithy term like "typo" for a minor error in a graphic? "grapho" doesn't ring true ... .)Fritz Ruehrhttp://www.blogger.com/profile/07287120856377258774noreply@blogger.com