Разрешимость и доказуемость

[maximk]

Ребят, посоветуйте пожалуйста литературу по разрешимости и доказуемости. Нужны общие сведения о том, как определить, существует ли вообще вывод доказательства теоремы в заданной аксиометической системе. Находил информацию о таких теоремах в теории чисел, как вообще можно додуматься до такого решения (имеется в виду доказательство ее недоказуемости)?

[patzer2097]

maximk в сообщении #893860 писал(а):

Ребят, посоветуйте пожалуйста литературу по разрешимости и доказуемости.

Ребята советуют Верещагин, Шень, Лекции по математической логике и теории алгоритмов, Часть 1-3, есть в онлайне в свободном доступе.

[maximk]

patzer2097 в сообщении #893926 писал(а):

maximk в сообщении #893860 писал(а):

Ребят, посоветуйте пожалуйста литературу по разрешимости и доказуемости.

Ребята советуют Верещагин, Шень, Лекции по математической логике и теории алгоритмов, Часть 1-3, есть в онлайне в свободном доступе.

Пацаны ваще ребята

[patzer2097]

maximk в сообщении #894032 писал(а):

Пацаны ваще ребята

это да