Thread replies: 22
Thread images: 3
Thread images: 3
Anonymous
Are all significant proofs really messy nowadays? 2016-01-03 16:14:26 Post No. 7759959
[Report] Image search: [Google]
Are all significant proofs really messy nowadays? 2016-01-03 16:14:26 Post No. 7759959
[Report] Image search: [Google]
File: 1451834396491.jpg (259KB, 393x829px) Image search:
[Google]
259KB, 393x829px
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 (121KB, 790x632px) Image search:
[Google]
121KB, 790x632px
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 (33KB, 692x116px) Image search:
[Google]
33KB, 692x116px
>>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 posts: 22
Thread images: 3
Thread images: 3