9
votes
3answers
810 views

Proof correctness problem

I was watching this talk by Vladimir Voevodsky which was given at the Institute of Advanced Study in 2006. In his talk the first slide he shows has the following written on it: ...
5
votes
2answers
818 views

Why can't mathematics be formalised in terms of classes rather than sets? [closed]

I've always been curious about the seeming compulsion to found mathematics upon sets, be it ZF(C) or some other system. Of course, there are other approaches these days like category theory and type ...
16
votes
2answers
734 views

Age of Stochasticity?

One user on MSE made an interesting question, which was unanswered so I suggested him to post it here but he refused for personal reasons and said I could ask it here. The question is this: Today ...
5
votes
5answers
2k views

Easy and Hard problems in Mathematics [closed]

Modified question: I would like to know some examples of problems in Mathematics, for pedagogical purposes, which do not involve difficult techiques to solve the problem but with a change of context ...