[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 20 KB, 200x200, 1516384278046.png [View same] [iqdb] [saucenao] [google]
10933469 No.10933469 [Reply] [Original]

What's your favorite argument in a proof?

Mine is Cantor's diagonal argument. It is simple, and makes you shit a brick when you see how versatile and powerful it is.

>> No.10933489

Gotta be Mochizuki's proof of the abc conjecture. It seems like such a daunting proof but when you finally understand the crux of it its so simple and elegant that you want slap yourself in the face. I seriously couldn't believe I hadn't thought of it myself when I first read through it, then I realized I never could have; sometimes it takes a true genius to recognize that a universal and intuitive truth was lying right below our noses his whole time.

>> No.10933500
File: 101 KB, 437x592, nice_hat.jpg [View same] [iqdb] [saucenao] [google]
10933500

>>10933469
>Mine is Cantor's diagonal argument. It is simple, and makes you shit a brick when you see how versatile and powerful it is.

+1 for Cantor's diagonal argument. It's essentially the same argument that is used to prove the undecidability of the halting problem and Gödel first incompleteness theorem.