Domande taggate «undecidability»

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: …
1
Buona referenza su metodi approssimativi per la risoluzione di problemi logici
È noto che molti problemi logici (ad esempio problemi di soddisfacibilità di diverse logiche modali) non sono decidibili. Ci sono anche molti problemi indecidibili nella teoria degli algoritmi, ad esempio nell'ottimizzazione combinatoria. Ma in pratica euristismi e algoritmi approssimativi funzionano bene con algoritmi pratici. Quindi ci si può aspettare che …
1
Numeri naturali non comparabili
Il "nome del gioco numero più grande" chiede a due giocatori di scrivere un numero in segreto, e il vincitore è la persona che ha scritto il numero più grande. Il gioco generalmente consente ai giocatori di annotare le funzioni valutate in un determinato momento, quindi anche 222222222^{2^{2^{2}}} sarebbe una …
2
La meta-indecidibilità è possibile?
Ci sono problemi che sono decidibili, alcuni sono indecidibili, c'è semidecidibilità, ecc. In questo caso mi chiedo se un problema possa essere meta-indecidibile. Questo significa (almeno nella mia testa) che non possiamo dire se è decidibile o no. Forse è noto che la decidibilità è indecidibile (tutto è meta-indecidibile) e …
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.