Too many term papers to grade? Tenure clock running? Don't have the time to crank out a new theorem today?
Fear not! TheoryMine can come to your rescue. As they so delightfully explain:
"You can name your very own mathematical theorem, newly generated by one of the world's most advanced computerised theorem provers (a kind of robot mathematician), and you can immortalise your loved ones, teachers, friends and even yourself and your favourite pets".
And:
"You can buy new theorems which become yours to name. You will receive a printable certificate in PDF form of the theorem and its discovery (including an outline of the proof). You can then give this away, frame it, sing it, as you like!"
At only £15.00, this looks to me like a bargain just waiting to be snapped up! I mean, how long did you spend proving that last theorem of yours? I'll bet that (No. of Hours x Hourly Salary) > 15!
I particularly like the idea of "immortalising your teachers" (hint, hint), and I promise not to sing it!
HT to Ken Stewart.
© 2011, David E. Giles