Форум - Задачка по мат. логике

Форум	» Назад на решение задач по физике и термеху
Регистрация \| Профиль \| Войти \| Забытый пароль \| Присутствующие \| Справка \| Поиск

» Добро пожаловать, Гость: Войти | Регистрация

	Форум Математика Задачка по мат. логике
	Отметить все сообщения как прочитанные [ Помощь ] » Добро пожаловать на форум "Математика" «

Переход к теме
<< Назад Вперед >>

Одна страница
Модераторы: Roman Osipov, RKI, attention, paradise

Guest

Новичок
Привет!
Подскажите, пожалуйста, как решать такую задачку.
Срочно надо!

Задача:
(тут обозначения: "А" - для любого (тоже что А перевернутое), "Э" - существует)

Назовем АЭ-формулой любую формулу вида
Ах1 Ах2 ... Ахm Эу1 Эу2 ... Эуn Ф
где x1,...,xm,y1,...,yn - произвольные переменные, m,n>=0, Ф - бескванторная.
Доказать, что множество геделевских номеров всех АЭ-формул сигнатуры s0 (симга 0) является рекурсивным.

Всего сообщений: Нет | Присоединился: Never | Отправлено: 21 дек. 2005 14:15 | IP

Отправка ответа:

Имя пользователя Вы зарегистрировались?
Пароль Забыли пароль?
Сообщение
Использование HTML запрещено
Использование IkonCode разрешено
Смайлики разрешены

Опции отправки
Добавить подпись?
Получать ответы по e-mail?
Разрешить смайлики в этом сообщении?
Просмотреть сообщение перед отправкой? Да Нет

Переход к теме
<< Назад Вперед >> Одна страница