Are all significant proofs really messy nowadays?

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

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

Thread images: 3

Anonymous

Are all significant proofs really messy nowadays? 2016-01-03 16:14:26 Post No. 7759959

[Report] Image search: [iqdb] [SauceNao] [Google]

Are all significant proofs really messy nowadays? 2016-01-03 16:14:26 Post No. 7759959

[Report] Image search: [iqdb] [SauceNao] [Google]

Are all significant proofs really messy nowadays?
Anonymous
2016-01-03 16:14:26
Post No. 7759959
[Report]

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

>>

File: Bildschirmfoto 2016-01-03 um 18.29.04.png (121 KB, 790x632)
Image search:
[iqdb]
[SauceNao]
[Google]

121 KB, 790x632

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.

>>

File: Bildschirmfoto 2016-01-03 um 19.38.32.png (33 KB, 692x116)
Image search:
[iqdb]
[SauceNao]
[Google]

33 KB, 692x116

>>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

>>

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 images: 3

Thread DB ID: 377667

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