Domande taggate «computability»

Domande relative alla teoria della calcolabilità, alias teoria della ricorsione

1
Una RAM può calcolare il proprio numero Gödel?
È possibile ottenere il numero Gödel di una RAM rendendolo un elenco di comandi e trasformando questo elenco in un numero intero. Quindi, quello che pensavo fosse qualcosa del tipo "La RAM che avrebbe restituito il proprio numero Gödel (diciamo, ) avrebbe dovuto contenere l'informazione x , quindi l'intero sarebbe …
1
Il teorema di smn è lo stesso concetto del curry?
Sto studiando il teorema di smn e il concetto mi ha ricordato il curry. Dall'articolo di Wikipedia sul teorema di smn : il teorema dice che per un dato linguaggio di programmazione e interi positivi m e n, esiste un algoritmo particolare che accetta come input il codice sorgente di …
6
Problemi indecidibili limitano le teorie fisiche
L'esistenza di problemi indecidibili implica immediatamente la non prevedibilità dei sistemi fisici? Consideriamo il problema dell'arresto, prima costruiamo un UTM fisico, diciamo usando la solita costruzione basata su circuito. Quindi non ci può essere alcuna teoria fisica decidibile che possa determinare, data qualsiasi impostazione di ingresso dei circuiti, se il …
1
Riduzioni tra problemi indecidibili
Mi dispiace se questa domanda ha qualche banale risposta che mi manca. Ogni volta che studio qualche problema che è stato dimostrato indecidibile, osservo che la prova si basa sulla riduzione di un altro problema che si è dimostrato indecidibile. Capisco che crea una sorta di ordine sul grado di …
6
Una macchina Turing può decidere la lingua di macchine con una lingua vuota?
Sia Esiste una macchina di Turing R che decide (non intendo riconosce) la lingua ?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Sembra che la stessa tecnica usata per mostrare che dovrebbe funzionare …
2
Un
Voglio specificare cosa significa dare un'algebra come input per un algoritmo e non ho trovato molta letteratura a riguardo. Quindi, prima vorrei chiederti se puoi raccomandare un libro o un documento che affronti il ​​tema dell'analisi della complessità delle algebre sui campi e definire chiaramente il problema decisionale . Dopo …
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.