Theorem Machine

Are you doing an REU this summer like Patrick Orchard?  Or are you just thinking about math on your own time?  Either way, no doubt you’re looking for some new theorems.

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

Or:

Or:

Okay, now that you have your theorems (with proof!), you need a journal to publish them in.  Fortunately, thanks to Kimball Martin, et. al. there is no such thing as unpublishable mathematics:

Has John Yossarian's work appeared here yet?

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s