The tag has no wiki summary.

learn more… | top users | synonyms

136
votes
64answers
23k views

Proofs that require fundamentally new ways of thinking [closed]

I do not know exactly how to characterize the class of proofs that interests me, so let me give some examples and say why I would be interested in more. Perhaps what the examples have in common is ...
37
votes
19answers
5k views

Are there proofs that you feel you did not “understand” for a long time?

Perhaps the "proofs" of ABC conjecture or newly released weak version of twin prime conjecture or alike readily come to your mind. These are not the proofs I am looking for. Indeed my question was ...
20
votes
15answers
2k views

Non-rigorous reasoning in rigorous mathematics

I was wondering what role non-rigorous, heuristic type arguments play in rigorous math. Are there examples of rigorous, formal proofs in which a non-rigorous reasoning still plays a central part? ...