История изменений
Исправление red75prim, (текущая версия) :
Человеческая логика не является формальной.
А у больших языковых моделей вообще с любой логикой проблемы. Вывод?
Иначе говоря, какая бы не была мета-, потребуется метаинформация
Более мощная формальная система требуется, чтобы доказать непротиворечивость рассматриваемой формальной системы. Но рассматриваемая формальная система будет (или не будет) непротиворечивой и без этого доказательства.
если […] не учитывать внутреннюю противоречивость логического вывода, […] то проблема будет с невозможностью построить модель своего мышления в рамках такого же мышления
Это просто означает, что человеческое мышление противоречиво и/или неполно.
Исправление red75prim, :
Человеческая логика не является формальной.
А у больших языковых моделей вообще с любой логикой проблемы. Вывод?
Иначе говоря, какая бы не была мета-, потребуется метаинформация
Более мощная формальная система требуется, чтобы доказать непротиворечивость рассматриваемой формальной системы. Но рассматриваемая формальная система будет (или не будет) непротиворечивой и без этого доказательства.
если […] yе учитывать внутреннюю противоречивость логического вывода, […] то проблема будет с невозможностью построить модель своего мышления в рамках такого же мышления
Это просто означает, что человеческое мышление противоречиво и/или неполно.
Исходная версия red75prim, :
Человеческая логика не является формальной.
А у больших языковых моделей вообще с любой логикой проблемы. Вывод?
Иначе говоря, какая бы не была мета-, потребуется метаинформация
Более мощная формальная система требуется, чтобы доказать непротиворечивость рассматриваемой формальной системы. Но рассматриваемая формальная система будет (или не будет) непротиворечивой и без этого доказательства.