New Theorem

How it Works

You press button. Button tell robot hand “pull string, tilt coffee.” Coffee fall into sodium polyarcylate, get absorbed into slush chunks. Slush fall through scramble game-show thingy, get mixed up. Coffee slush fall into mathematician cup. Mathematician make theorem. Result recorded.[1]

How we get the Theorem of the Day

How we get the Theorem of the Day

  1. Thanks to Matt Gline for making this possible, and also to Mike Hamburg for helping make it more ridiculous. []

10 Responses to “Theorem of the Day” Comment Feed.

  1. Jue says: Jun 04, 2010 @ 11:14 am

    This is awesome! If you’ll pardon the completely random comment from a classmate (sort of), I also wrote a theorem generator for my CFG project in CS51, including phrases from my Math 23a professor such as “it is obvious!” or “the rest is left as a home exercise.” I guess it’s not the most obscure idea, but putting it in Latex and hosting it on this nice website was exactly the touch it needed.

    BTW, I’ve always thought a CFG for generating chord progressions (and then playing them) would be fun. Ever tried that?

  2. davidsd says: Jun 06, 2010 @ 2:25 pm

    That does sound like fun, though it might be hard to do really well. One nice thing about words is that verbal gibberish is funny, whereas musical gibberish is often just annoying :) . I do remember that someone in my CS51 class managed to implement a pretty nice Markov babbler based on the Presto from Bach’s g-minor Sonata for Solo Violin.

  3. Pingback: The snarXiv « Climbing Mount Bourbaki Jun 10, 2010 @ 3:54 pm

    […] Wait, there’s more!  Apparently, the creator has a theorem generator and even a program that can generate philosophy. from → Theoretical physics, nerdifying the […]

  4. Pingback: Randomness and reality « The Lumber Room Jun 19, 2010 @ 11:03 pm

    […] also has a random theorem generator that generates “theorems” that look very real. (With typical proofs, too.) You may also […]

  5. Pingback: 12 scholarly hoaxes, randomly generated articles, and other tricky fun « Division by Zero Jun 22, 2010 @ 10:32 pm

    […] Theorem of the day—This website creates randomly generated “theorems.” […]

  6. Pingback: thnik again! » Blog Archive » Gone fishing Jun 27, 2010 @ 12:05 pm

    […] the way, if you need advanced daily problems try this site in the meantime. One […]

  7. Trackback: Travels in a Mathematical World Jul 02, 2010 @ 5:30 am

    Carnival of Mathematics #67…

    Meanwhile, the Theorem of the Day generator is cooking up realistic looking \’theorems\’ and \’proofs\’ using a context free grammar….

  8. Pingback: Theorem Machine « OU Math Club Jul 12, 2010 @ 7:24 pm

    […] look no further!  David Simmons-Duffin has an automated theorem writing machine available here. Even better, the theorems come pre-proven!  For […]

  9. jonathon says: Aug 27, 2010 @ 7:24 pm

    When will this be back online???

  10. davidsd says: Aug 27, 2010 @ 8:45 pm

    Sorry about that — I had no idea it was down! The problem was Paul Taylor’s commutative diagrams package, which is really excellent (thanks, Paul!), but for a pretty weak reason it’s time-bombed to stop working after a certain date. The assumption is that someone manually running latex will see the problem and download a new version of the package, but that obviously wasn’t going to happen in this case.

Leave a Reply