Domande taggate «computability»

Teoria della computabilità nota anche come teoria della ricorsione.

15
Un semplice problema di cui non si conosce la decidibilità
Mi sto preparando per un discorso rivolto ai laureandi in matematica, e come parte di esso, sto prendendo in considerazione la discussione del concetto di decidibilità. Voglio fare un esempio di un problema che attualmente non sappiamo essere decidibile o indecidibile. Ci sono molti di questi problemi, ma nessuno sembra …



3
C'è una nozione sensata di un algoritmo di approssimazione per un problema indecidibile?
Alcuni problemi sono noti per essere indecidibili, ma è comunque possibile fare qualche progresso per risolverli. Ad esempio, il problema dell'arresto è indecidibile, ma si possono fare progressi pratici nella creazione di strumenti per rilevare potenziali loop infiniti nel codice. I problemi di piastrellatura sono spesso indecidibili (ad esempio, questa …


5
Ragioni storiche per l'adozione di Turing Machine come modello primario di calcolo.
Comprendo che il modello di Turing è diventato lo "standard" nel descrivere il calcolo. Sono interessato a sapere perché questo è il caso, ovvero perché il modello TM è diventato più ampiamente utilizzato rispetto ad altri modelli teoricamente equivalenti (per quanto ne sappia), ad esempio la recursione μ di Kleene …


4
Esistono prove dell'indecidibilità del problema di arresto che non dipende dall'autoreferenziazione o dalla diagonalizzazione?
Questa è una domanda relativa a questa . Riponendolo in una forma molto più semplice dopo molte discussioni lì, che sembrava una domanda totalmente diversa. La classica dimostrazione dell'indecidibilità del problema dell'arresto dipende dalla dimostrazione di una contraddizione quando si cerca di applicare un ipotetico decisore HALT a se stesso. …








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.