Бэлый_и_Пушистый писал(а):ну надо еще доказать , что это именно тот случай.
Sandor писал(а):Бэлый_и_Пушистый писал(а):ну надо еще доказать , что это именно тот случай.
Именно тот, вообще теоремы Гёделя в некотором роде пошли от того самого парадокса Рассела.
Бэлый_и_Пушистый писал(а):Sandor писал(а):Бэлый_и_Пушистый писал(а):ну надо еще доказать , что это именно тот случай.
Именно тот, вообще теоремы Гёделя в некотором роде пошли от того самого парадокса Рассела.
и где , в данном случае вы видите связь с парадоксом Рассела ?
Sandor писал(а):Бэлый_и_Пушистый писал(а):Sandor писал(а):Бэлый_и_Пушистый писал(а):ну надо еще доказать , что это именно тот случай.
Именно тот, вообще теоремы Гёделя в некотором роде пошли от того самого парадокса Рассела.
и где , в данном случае вы видите связь с парадоксом Рассела ?
Это не я вижу, это так и есть.
Бэлый_и_Пушистый писал(а):Sandor писал(а):Бэлый_и_Пушистый писал(а):Sandor писал(а):Бэлый_и_Пушистый писал(а):ну надо еще доказать , что это именно тот случай.
Именно тот, вообще теоремы Гёделя в некотором роде пошли от того самого парадокса Рассела.
и где , в данном случае вы видите связь с парадоксом Рассела ?
Это не я вижу, это так и есть.
это ваш аргумент ? так есть , потому что так есть ?
На третьей странице все подробно описано . Где конкретно вы видите нарушение логики ?
В своей формулировке теоремы о неполноте Гёдель использовал понятие ω-непротиворечивой формальной системы — более сильное условие, чем просто непротиворечивость. Формальная система называется ω-непротиворечивой, если для всякой формулы A(x) этой системы невозможно одновременно вывести формулы А(0), А(1), А(2), ... и ∃x ¬A(x) (другими словами, из того, что для каждого натурального числа n выводима формула A(n) следует невыводимость формулы ∃x ¬A(x)). Легко показать, что ω-непротиворечивость влечет простую непротиворечивость (то есть, любая ω-непротиворечивая формальная система непротиворечива)[6].
В процессе доказательства теоремы строится такая формула A арифметической формальной системы S, что[6]:
Если формальная система S непротиворечива, то формула A невыводима в S; если система S ω-непротиворечива, то формула ¬A невыводима в S. Таким образом, если система S ω-непротиворечива, то она неполна[~ 2] и A служит примером неразрешимой формулы.
Формулу A иногда называют гёделевой неразрешимой формулой[7].
Бэлый_и_Пушистый писал(а):это теорема Геделя.В своей формулировке теоремы о неполноте Гёдель использовал понятие ω-непротиворечивой формальной системы — более сильное условие, чем просто непротиворечивость. Формальная система называется ω-непротиворечивой, если для всякой формулы A(x) этой системы невозможно одновременно вывести формулы А(0), А(1), А(2), ... и ∃x ¬A(x) (другими словами, из того, что для каждого натурального числа n выводима формула A(n) следует невыводимость формулы ∃x ¬A(x)). Легко показать, что ω-непротиворечивость влечет простую непротиворечивость (то есть, любая ω-непротиворечивая формальная система непротиворечива)[6].
В процессе доказательства теоремы строится такая формула A арифметической формальной системы S, что[6]:
Если формальная система S непротиворечива, то формула A невыводима в S; если система S ω-непротиворечива, то формула ¬A невыводима в S. Таким образом, если система S ω-непротиворечива, то она неполна[~ 2] и A служит примером неразрешимой формулы.
Формулу A иногда называют гёделевой неразрешимой формулой[7].
Какая тут связь с данным случаем . Или с конкретными законами физики ? например возьмем силу притяжения . Что вы докажете силе притяжения теоремой Геделя ? Что она (сила притяжения) не существует . А она просто притягивает и нет ей никакого дела до теоремы Геделя . Не надо все непонятное оправдывать сферическими конями в вакууме .
Эта ссылка на Геделя просто наукоподобное "в огороде бузина а в киеве дядька".
Твоя реальная сила притяжения будет формулой внутри логической системы.
Парадокс с каталогами: каталог который содержит все каталоги будет содержать себя в качестве элемента? Нет не будет, таким образом нет противоречия если элемент есть вне системы.
Бэлый_и_Пушистый писал(а):Твоя реальная сила притяжения будет формулой внутри логической системы.
Парадокс с каталогами: каталог который содержит все каталоги будет содержать себя в качестве элемента? Нет не будет, таким образом нет противоречия если элемент есть вне системы.
причем тут каталоги которые содержат каталоги ? что конкретно подразумеваешь под словом каталог ?
Sandor писал(а):Бэлый_и_Пушистый писал(а):Твоя реальная сила притяжения будет формулой внутри логической системы.
Парадокс с каталогами: каталог который содержит все каталоги будет содержать себя в качестве элемента? Нет не будет, таким образом нет противоречия если элемент есть вне системы.
причем тут каталоги которые содержат каталоги ? что конкретно подразумеваешь под словом каталог ?
Этот парадокс здесь уже приводился.
Катеныш писал(а):
"Одному деревенскому брадобрею приказали «брить всякого, кто сам не бреется, и не брить того, кто сам бреется», как он должен поступить с собой?"
Вернуться в Психософия Афанасьева
Зарегистрированные пользователи: Атех, GoGo [Bot], Google [Bot], Google Search Appliance, Гена, Грим, Yandex 3.0 [Bot], Yandex [Bot], на лошади весёлой