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