История изменений
Исправление i_am_not_ai, (текущая версия) :
А у больших языковых моделей вообще с любой логикой проблемы. Вывод?
Более мощная формальная система требуется, чтобы доказать непротиворечивость рассматриваемой формальной системы.
Это понятно. Но формальная система не может репродуцировать себя.
Я про третий тезис 2-й проблемы Гильберта - тезис полноты вывода. Она сама себя вывести не сможет.
Для любого интеллекта (машинного или естественного), требуется система аксиом (базис) + правила вывода (пусть даже закодированные в аминокислотах).
Исходная версия i_am_not_ai, :
А у больших языковых моделей вообще с любой логикой проблемы. Вывод?
Более мощная формальная система требуется, чтобы доказать непротиворечивость рассматриваемой формальной системы.
Это понятно. Но формальная система не может репродуцировать себя.
Я про третий тезис - тезис полноты вывода. Она сама себя вывести не сможет.
Для любого интеллекта (машинного или естественного), требуется система аксиом (базис) + правила вывода (пусть даже закодированные в аминокислотах).