/Дядя Петрос очень правильно замечает, что в математике не бывает второго места. Если ты вторым доказал очень важную теорему,/

Странное утверждение. А не столь важную теорему доказать нельзя? Лемму какую-нибудь, на худой конец.

Гедель с Тьюрингом как-то не по делу тут. Гедель он же о том, что формализация - это хорошо, но рано или поздно утыкаешься в утверждение. о котором формальная железяка ничего сказать не может, а человеку оно очевидно.