[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

What is the cleverest proof?

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.
  1. Home
  2. /sci/ - Science & Math
  3. What is the cleverest proof?
Thread replies: 7
Thread images: 1

Anonymous
What is the cleverest proof? 2016-03-23 18:28:07 Post No. 7952066
[Report] Image search: [Google]
File: kleene.gif (98KB, 300x408px) Image search: [Google]
kleene.gif
98KB, 300x408px
What is the cleverest proof? Anonymous 2016-03-23 18:28:07 Post No. 7952066 [Report]
I refer to proofs that are at most one page long, but are extremely clever.

The cleverest I've encountered is Kleene's recursion theorem.
>>
Anonymous 2016-03-23 18:42:01 Post No.7952089
[Report]
Anonymous 2016-03-23 18:42:01 Post No.7952089 [Report]
>>7952066
certainly the remarkable proof by the eminent Barnett that the sum of natural numbers is actually a negative one!
>>
Anonymous 2016-03-23 23:53:44 Post No.7952626
[Report]
Anonymous 2016-03-23 23:53:44 Post No.7952626 [Report]
Some simple classic proofs are ofcours the infinitute of primes and the irrationality of the sqaure root of 2.
>>
Anonymous 2016-03-24 17:11:22 Post No.7953854
[Report]
Anonymous 2016-03-24 17:11:22 Post No.7953854 [Report]
Best proofs are the ones that are frustratingly simple.
>>
Anonymous 2016-03-24 17:20:38 Post No.7953867
[Report]
Anonymous 2016-03-24 17:20:38 Post No.7953867 [Report]
>>7952626

I wasn't going to mention these, happily someone else did.

Gödel's clever bit about his incompleteness theorems was to semantically equate natural-numbers, their strings, and the finite logical statements to which they corresponded.
>>
Anonymous 2016-03-24 22:33:17 Post No.7954375
[Report]
Anonymous 2016-03-24 22:33:17 Post No.7954375 [Report]
>>7952626
>infinitute of primes
>tfw had to prove this on my test this week
>>
Anonymous 2016-03-25 17:30:39 Post No.7956242
[Report]
Anonymous 2016-03-25 17:30:39 Post No.7956242 [Report]
Bernstein-Schroder proof is bredy gud
Thread posts: 7
Thread images: 1
[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.