While I have not used the service myself, it does appear that Theory Mine is still going. It’s an automated theorem-creating software. For a price, they’ll create a theorem and name it whatever you choose within reason. It will almost certainly not be an interesting theorem, nor one that anyone will ever care about. But it’ll be far more legitimate than, like, naming a star after someone, which has always been an outright scam.
I discovered this last year, and wrote a bit about how this sort of thing can work. (I’m not certain this is precisely how Theory Mine works, but I am confident that it’s something along these lines.) Also a bit about the history of this sort of system and how it’s come about. And as I say, I haven’t used the service myself. It may sound like bragging, but I’ve created my own theorems. They’re not the monumental triumph of intellect and explanatory power that attaches to theories in science. They can be much more petty things, like “when can we expect the sum of the roots of a quadratic polynomial to be greater than zero”. A theorem you make for your own project will be a little more interesting than a completely auto-generated one like this. After all, your own theorem will at least answer something you wanted to know. A computer-generated one doesn’t even promise that. But it does take less effort to send a bit of money off and get a proof mailed back to you.
Aww, I read that as still time to buy a theremin for Valentines Day, I had “Beautiful Dreamer” all picked out as the song I’d play my sweetheart today between the flowers and the chocolates.
LikeLike
Yeah, I’m sorry. I’d recommend maybe Amazon as a theremin source but I’m having a hard enough time dealing with their calendar division.
It’s nigh-impossible to play the flowers, except for those ones on Talos IV that make even a Vulcan smile. Don’t worry about that.
LikeLike