New The­o­rem

How it Works

You press but­ton. But­ton tell robot hand “pull string, tilt cof­fee.” Cof­fee fall into sodium pol­yarcy­late, get absorbed into slush chunks. Slush fall through scram­ble game-show thingy, get mixed up. Cof­fee slush fall into math­e­mati­cian cup. Math­e­mati­cian make the­o­rem. Result recorded.[1]

How we get the Theorem of the Day

How we get the The­o­rem of the Day

  1. Thanks to Matt Gline for mak­ing this pos­si­ble, and also to Mike Ham­burg for help­ing make it more ridicu­lous. []

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

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

    This is awe­some! If you’ll par­don the com­pletely ran­dom com­ment from a class­mate (sort of), I also wrote a the­o­rem gen­er­a­tor for my CFG project in CS51, includ­ing phrases from my Math 23a pro­fes­sor such as “it is obvi­ous!” or “the rest is left as a home exer­cise.” I guess it’s not the most obscure idea, but putting it in Latex and host­ing it on this nice web­site was exactly the touch it needed.

    BTW, I’ve always thought a CFG for gen­er­at­ing chord pro­gres­sions (and then play­ing 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 ver­bal gib­ber­ish is funny, whereas musi­cal gib­ber­ish is often just annoy­ing :) . I do remem­ber that some­one in my CS51 class man­aged to imple­ment a pretty nice Markov bab­bler 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!  Appar­ently, the cre­ator has a the­o­rem gen­er­a­tor and even a pro­gram that can gen­er­ate phi­los­o­phy. from → The­o­ret­i­cal physics, nerdi­fy­ing the […]

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

    […] also has a ran­dom the­o­rem gen­er­a­tor that gen­er­ates “the­o­rems” that look very real. (With typ­i­cal 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

    […] The­o­rem of the day — This web­site cre­ates ran­domly gen­er­ated “theorems.” […]

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

    […] the way, if you need advanced daily prob­lems try this site in the mean­time. One […]

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

    Car­ni­val of Math­e­mat­ics #67…

    Mean­while, the The­o­rem of the Day gen­er­a­tor is cook­ing up real­is­tic look­ing \‘the­o­rems\’ and \‘proofs\’ using a con­text free grammar.…

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

    […] look no fur­ther!  David Simmons-Duffin has an auto­mated the­o­rem writ­ing machine avail­able here. Even bet­ter, the the­o­rems 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 prob­lem was Paul Taylor’s com­mu­ta­tive dia­grams pack­age, which is really excel­lent (thanks, Paul!), but for a pretty weak rea­son it’s time-bombed to stop work­ing after a cer­tain date. The assump­tion is that some­one man­u­ally run­ning latex will see the prob­lem and down­load a new ver­sion of the pack­age, but that obvi­ously wasn’t going to hap­pen in this case.

Leave a Reply