Good Math, Bad Math

Archives for April, 2007

(A substantial part of this post was rewritten since it was first posted. I managed to mangle things while editing, and the result was not particularly comprehensible: for example, in the original version of the post, I managed to delete the definition of “mex”, which continuing to use mex in several other definitions. I’ve tried…

A Great New SciBling!

Our corporate masters at Seed have added a new blog to ScienceBlogs, and it looks like a real winner. It’s called the Denialism Blog, and it’s off to a roaring great start with “The Unified Theory of the Crank. Go check it out!

Since my post on datatypes for my π-calculus language, I’ve gotten a bunch of questions from people who (I guess) picked up on the series after the original post where I said that the idea of the series was to see if I could create a programming language based on it. The questions are all…

While browser over at programming.reddit.com, I came across something simultaneously hideous and amazing. I’ve showed quines before as part of the pathological programming posts: a quine is a program which, when run, generates itself as an output. I’ve even written about a programming language where the only way to create a loop is through quining…

Today’s friday programming language insanity is a tad different. I’m going to look at another twisted stack-based language. I’ve got a peculiar fondness for these buggers, because back in the day, I was a serious Forth addict. One of the ideas that’s actually come up in serious programming languages in the last few years is…

Legal Threats (Updated)

(This issue came to a happy conclusion. After the uproar generated by this being publicized by so many blogs and websites, the publisher got in touch with Shelley, gave her permission to use the figures, apologized, and promised to do some internal legal education so that this won’t happen again.) This doesn’t affect me personally,…

When I’m bored, I’ll periodically take a look at the blogs published by the bozos at the Discovery Institute. I can generally find something good for a laugh. So I was doing that tonight, and came across yet another example of how they try to distort reality and use slimily dishonest math to try to…

Sign Expansions of Infinity

Finally, as I promised a while ago, it’s time to look at the sign-expanded forms of infinites in the surreal numbers. Once you’ve gotten past the normal forms of surreal numbers, it’s pretty easy to translate them to sign-expanded form.

Before moving on, there’s one question that I thought was important enough to promote up to the front page, instead of just answering it in the comments. A commenter asked about process replication, !P, wanting to know if it terminates. The answer comes in two parts. !P does process creation on demand. It’s not an…

As I mentioned a while back, I was loaned the Library of Congress discard of George Shollenberger’s book. Since he’s made such a big deal about how unfair I’ve been by not reading and considering his argument, I’ve actually forced myself to read it. (See what I’m willing to do for you, my faithful readers?)