Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Математика
»
Математика (общие вопросы)
Раз решимость теории первого порядка
Пред. тема
|
След. тема
LeonMagnym
Раз решимость теории первого порядка
01.06.2012, 23:21
Подскажите пожалуйста с чего начинается доказательство раз решимости теории первого порядка с равенством, после того, как я доказал все теоремы?
Профессор Снэйп
Re: Раз решимость теории первого порядка
04.06.2012, 09:02
LeonMagnym в
сообщении #579628
писал(а):
после того, как я доказал все теоремы?
Вообще все?
Sender
Re: Раз решимость теории первого порядка
04.06.2012, 09:22
Да, если все теоремы уже доказаны, достаточно найти среди доказательств искомое.
LeonMagnym
Re: Раз решимость теории первого порядка
05.06.2012, 22:51
А вот с этим и все трудности, каким требованиям должно отвечать искомое доказательство?
Спасибо.
Страница
1
из
1
[ Сообщений: 4 ]
Список форумов
»
Математика
»
Математика (общие вопросы)