Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
Darts501 |
Неразрешимость ZF  08.05.2015, 17:04 |
|
18/04/15
29
|
|
Помогите решить задачу. Нужно доказать, что если ZF непротиворечива, то она не разрешима, то есть не существует алгоритма, который по любой данной ему формуле выясняет, выводим а ли эта формула. Можно использовать, что любой разрешимый предикат представим в ZF.
|
|
|
|
 |
|
AGu |
Re: Неразрешимость ZF 09.05.2015, 16:10 |
|
| Заслуженный участник |
 |
09/05/08
1155
Новосибирск
|
|
Обычно неразрешимость теории множеств (любой из ее версий) выводится из существенной неразрешимости арифметики (Россер, 1936 г.) — благодаря тому факту, что арифметика интерпретируется в теории множеств. Если упомянутые сведения «можно использовать», то дело в шляпе. Ну а если нельзя, то поди догадайся... Неразрешимость — штука нетривиальная, в лоб не доказывается.
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
