|
molokowoz |
О неразрешимости логики первого порядка  23.08.2011, 23:02 |
|
23/08/11
12
|
|
Известный факт: логика первого порядка неразрешима.
Теорема: Всякая аксиоматизируемая полная теория разрешима.
Логика первого порядка - теория первого порядка без собственных аксиом. Аксиоматизируема(Введение в мат логику, Мендельсон) и полна. Где я ошибаюсь подскажите пожалуйста?
|
|
|
|
 |
|
molokowoz |
Re: О неразрешимости логики первого порядка 24.08.2011, 19:08 |
|
23/08/11
12
|
|
Мне кажется я запутался с понятием полноты. Есть ли разница междупонятиями "полнота формализации теории"и "полнота теории"?
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
