Domande taggate «independence»

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: …


Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.