[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 / qst / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vip /vp / vr / w / wg / wsg / wsr / x / y ] [Search | Home]
4Archive logo
Are all significant proofs really messy nowadays?
If images are not shown try to refresh the page. If you like this website, please disable any AdBlock software!

You are currently reading a thread in /sci/ - Science & Math

Thread replies: 22
Thread images: 3
File: 1451834396491.jpg (259 KB, 393x829) Image search: [iqdb] [SauceNao] [Google]
1451834396491.jpg
259 KB, 393x829
Whenever you look at a proof to a hard, unsolved problem nowadays it looks very tedious, complex, and messy, and to an extent this is to be expected, but it's also almost like human intuition wouldn't be helpful, and that you would be better off having a computer search for a proof for you. Is this the new norm? Is elegance going to no longer be a part of math?
>>
>>7759959
what are you talking about? did you even graduate in math? you dont make any sense
>>
>>7759978
Actually, it's a legitimate question.
>>
>>7759959
>nowadays

All original proofs are messy. Proofs go through several iterations before you see the cleaned up nice stuff that are in textbooks.
>>
>inb4 inter-universal Terrytao theory
>>
>>7760003
This realization made math 10% more exciting to me
>>
>>7760011
What about the four color theorem?
>>
>>7759959
I feel a lot better OP. I may be a huge autistic neckbeard virgin, but at least I have seen a vagina
>>
People invent theories to prove stuff. Much of math is tailored to make popular questions approachable. Galois invented group theory do deal with polynomials, Cantor invented set theory to deal with trigonometric equations and so on.
>>
>>7760059
It, however, requires to study the machinery first which may be in turn quite heavy.
>>
>>7760059
Can you give a link to that page? Looks interesting.
>>
>>7759959
Messy proofs are usually proofs made with unadapted theoretical tools.
>>
>>7760091
I didn't remember when I re-opened the thread, but I literally just googled the first line in that screenshot ... why didn't you do the same?

http://mathoverflow.net/questions/24913/quick-proofs-of-hard-theorems

To provide more trivia to this thread, there is this popular MathOverflow thread:

http://mathoverflow.net/questions/8846/proofs-without-words
>>
>>7760141
>why didn't you do the same?
Because I could just make you do it instead.
>>
https://www.youtube.com/watch?v=LE3gQKeIyLM
>>
>>7760017

And 20% cooler
>>
>>7759959
That picture is offensive.
>>
>>7759959
>oh look it's a feel/sadfrog thread

saged and reported
>>
>>7761372
>implying that >>>/sci/ mods even exist
How could they be real if we aren't real?
>>
Sometimes proof sketches are more common. They might assume some lemma is true and keep working, fleshing out the idea later or using a theorem prover to show it is true (particularly for lemmata which are conceptually obvious but mechanically tedious).
>>
>>7759959
Come on OP there you go !

https://en.wikipedia.org/wiki/Vagina#/media/File:Vaginal_opening_description.jpg
>>
>>7761364
go back to tumblr moralfag
Thread replies: 22
Thread images: 3
Thread DB ID: 377667



[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 / qst / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vip /vp / vr / w / wg / wsg / wsr / x / y] [Search | Home]

[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 / qst / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vip /vp / vr / w / wg / wsg / wsr / x / y] [Search | 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.
This is a 4chan archive - all of the shown content originated from that site. This means that 4Archive shows their content, archived. If you need information for a Poster - contact them.
If a post contains personal/copyrighted/illegal content, then use the post's [Report] link! If a post is not removed within 24h contact me at [email protected] with the post's information.