Two neat things

Today I stumbled across two lovely bits of math(s) I’d like to share.

The first is a fun topological proof that there are infinitely many prime numbers.

The second is a proof that the set of prime numbers is bounded…

[Wait for it…]

[Keep waiting…]

…in certain models of weak arithmetic. (I paused for Hotovy to say ‘What?!’ and shake his head in that goofy way. You know the one.) Have a look for yourself: MO21367. (Also, \pi is rational in the model given in that answer.)

Aside | This entry was posted in Asides. Bookmark the permalink.

2 Responses to Two neat things

  1. JCummings says:

    That primes proof is really cool.

    • Z Norwood says:

      Yeah! I like it a lot. And it’s not so surprising that weird things happen (like \pi being rational) in the absence of full induction.

Leave a Reply

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

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

Google photo

You are commenting using your Google 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 )

Connecting to %s