[Boards: 3 / a / aco / adv / an / asp / b / biz / c / cgl / ck / cm / co / d / diy / e / fa / fit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mu / n / news / o / out / p / po / pol / qa / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vp / vr / w / wg / wsg / wsr / x / y ] [Home]
4chanarchives logo
What is the cleverest proof?
Images are sometimes not shown due to bandwidth/network limitations. Refreshing the page usually helps.

You are currently reading a thread in /sci/ - Science & Math
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 (98 KB, 300x408) Image search: [Google]
kleene.gif
98 KB, 300x408
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 replies: 7
Thread images: 1
banner
banner
[Boards: 3 / a / aco / adv / an / asp / b / biz / c / cgl / ck / cm / co / d / diy / e / fa / fit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mu / n / news / o / out / p / po / pol / qa / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vp / vr / w / wg / wsg / wsr / x / y] [Home]
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.
If a post contains personal/copyrighted/illegal content you can contact me at [email protected] with that post and thread number and it will be removed as soon as possible.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com, send takedown notices to them.
This is a 4chan archive - all of the content originated from them. If you need IP information for a Poster - you need to contact them. This website shows only archived content.