3
P contiene linguaggi la cui esistenza è indipendente da PA o ZFC? (Wiki della community TCS)
Risposta: non nota. Le domande poste sono naturali, aperte e apparentemente difficili; la domanda ora è un wiki della comunità. Panoramica La domanda cerca di dividere le lingue appartenenti alla classe di complessità PPP - insieme alle macchine di Turing (TM) che accettano queste lingue - in due sottoclassi complementari: …