Здравствуйте, mihailik, Вы писали:

M>А вообще я люблю всякие антигуманные методы доказательства. Ну, чтобы мозги сами за себя спотыкались, или же неконструктивные доказательства вроде Канторовской диагонали там.

Кстати, канторовская диагональ — чрезвычайно конструктивное доказательство. Грубо говоря, если кто-то утверждает, что перенумеровал все действительные числа на [0;1), то мы просим его оформить это гениальное открытие в виде функции int f(int i, int j), выдающей j-ю цифру после запятой у i-го числа. Диагональ задается как

int g(int i)
{
  int result = f(i,i) == 4 ? 5 : 4;
  assert(result != f(i,i));
  assert(result != 0 && result != 9);
  return result;
}