Я его понял так: Если у нас есть система аксиом и набор правил вывода, то они полностью определяют все возможные теоремы.
И это банальное утверждение, по-моему, не имеет никакого отношения к Гёделю.
И не будем забывать, что Гегель занимался философией логики, а не логикой в современном смысле этого слова.
Плохо же он занимался, раз так и не понял в итоге что такое логика (в самом широком, а не только в современном смысле слова) и зачем она нужна.
-- Пт окт 17, 2014 15:20:45 --Речь не в ограничении на предметы роскоши, а о недоступности для широких масс вполне необходимых вещей, например собственной недвижимости.
Всё, без чего можно хоть как-то прожить, уже не является необходимым. Можно ходить в драных штанах и жить в шалаше, чувствуя себя совершенно счастливым.
Вот как раз если попытаются посадить людей на тотальный автоматизированный контроль и лишить возможности самостоятельно мыслить, это будет более оптимистичным вариантом, так как так или иначе вызовет массовое сопротивление, а значит и шанс на провал контролёров будет выше.
Вы точно оптимист.
Какое может быть сопротивление при тотальном контроле? При первых же признаках будет подавлено, а виновные — наказаны.