Зов Роботов писал(а):
Теорему Гёделя для себя на пальцах объясняю так. Берём кубик Рубика как формальную систему. Допустим, что однажды покрашенный Рубик имеет подмножество заведомо недостижимых комбинаций. Как ни крути. Задумываем некую комбинацию и крутим Рубик так чтобы получить оную. Достигли задуманную комбинацию - утверждение доказано, не достигли - нет. Но:
1) Доказать достижимость/недостижимость комбинации можно выполнив полный перебор вариантов.
2) Гипотеза в замкнутую систему изначально вносится ИЗВНЕ. Поэтому требовать доказательств только средствами самой ЗАМКНУТОЙ системы не корректно. По меньшей мере.
Вопчем, не впал ли тов. Гёдель в ошибку имени самого себя?
Тебе бесполезно копипастить такие вещи - ты их не понимаешь
