математика научила меня интуиции.

[upd] формальная логика не полна, машинный разум никогда не превзойдет человеческий, ВСЕ ПЛОХО. спасибо Геделю, блин.