3
Содержит ли P языки, существование которых не зависит от PA или ZFC? (Сообщество TCS вики)
Ответ: не известно. Задаваемые вопросы являются естественными, открытыми и, по-видимому, сложными; сейчас вопрос вики сообщества. обзор Вопрос состоит в том, чтобы разделить языки, принадлежащие к классу сложности PPP - вместе с машинами Тьюринга (TM), которые принимают эти языки, - на два взаимодополняющих подкласса: гностические языки и ТМ (которые можно проверить …