1. А можно где-нибудь обзор этих штук? В смысле, на русском и именно общий, что ли. Например, о той же теореме Гёделя вполне можно без особых проблем рассказать человеку с улицы, слегка введя в термины. Есть эдакое что-то о работах Уолперта али не знаешь-с?
2. Ясно, что ничего не ясно.
3. Точно так же, как и меняют прошивки на телефонах или обновляют программы до новых версий. Не вижу в этом ничего за рамки выходящего обычного процесса поддержки ПО, в котором периодически находятся разного рода баги.