2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Разрешимость логики первого порядка
Сообщение01.11.2022, 15:11 


01/11/22
2
Здравствуйте! Изучаю математическую логику и дошёл до теоремы Чёрча о неразрешимости логики первого порядка. Насколько я понимаю, теорема о полноте гарантирует нам алгоритм, который перечисляет множество истинных формул логики первого порядка. В таком случае, если мы хотим установить истинность или ложность замкнутой формулы $A$, то мы запускаем этот алгоритм на формуле $A$ и параллельно на формуле $\neg A$. Один из этих алгоритмов обязательно закончит работу и после этого результатом работы "разрешающего" алгоритма будет 0 или 1 исходя из того, какой алгоритм закончил работу. То есть таким образом мы получаем алгоритм, который логику первого порядка "разрешает". Где ошибка?

 Профиль  
                  
 
 Re: Разрешимость логики первого порядка
Сообщение01.11.2022, 15:14 
Заслуженный участник
Аватара пользователя


16/07/14
9549
Цюрих
Ysan_Asanov в сообщении #1568567 писал(а):
теорема о полноте гарантирует нам алгоритм, который перечисляет множество истинных формул логики первого порядка
Не истинных, а общезначимых (истинных в любой модели; истинность формулы всегда в какой-то модели, а не вообще).

 Профиль  
                  
 
 Re: Разрешимость логики первого порядка
Сообщение01.11.2022, 15:17 
Заслуженный участник


02/08/11
7127
Ysan_Asanov в сообщении #1568567 писал(а):
Один из этих алгоритмов обязательно закончит работу
С учётом сказанного выше mihaild вот это совсем не обязательно.

 Профиль  
                  
 
 Re: Разрешимость логики первого порядка
Сообщение01.11.2022, 21:06 


01/11/22
2
Большое спасибо

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Alex Krylov, B@R5uk, Утундрий


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group