Welcome to TheoryMIne!
TheoryMine lets you name a personalised, newly discovered, mathematical theorems as a novelty gift.
TheoryMine lets you name a personalised, newly discovered, mathematical theorems as a novelty gift.
|
"During my time as an eager undergraduate mathematician, I'd often wonder what it would feel like to prove a truly new result ... but Aron's theorem is now a reality, and I've got the certificate to prove it." Jacob Aron , The New Scientist |
|
"Pythagoras spent his life proving his, and Fermat died still trying, but for the would-be genius today, a mathematical theorem is only a mouse-click away."
Chris Watt , The Herald |
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.
See an example theorem certificate
See an example theorem certificate
Get Started: Choose your Theorem Name
This is the name that will be given to your theorem forever.
It can be either a name, a nick name or any other thing as long as it meets the following criteria:
-   It must be a no more than 30 characters long.
-   It must NOT be inappropriate, libellous, defamatory, blasphemous, obscene, offensive to public morality or an incitement to racial hatred or terrorism.
Theorems names will be filtered and if reported and recognised to be inappropriate, they will be removed from our database and records without refund.
It can be either a name, a nick name or any other thing as long as it meets the following criteria:
-   It must be a no more than 30 characters long.
-   It must NOT be inappropriate, libellous, defamatory, blasphemous, obscene, offensive to public morality or an incitement to racial hatred or terrorism.
Theorems names will be filtered and if reported and recognised to be inappropriate, they will be removed from our database and records without refund.
e.g. Tom's theorem, or The Bucklesham lemma
TM
... you could be next!


