Domande taggate «computability»

Teoria della computabilità nota anche come teoria della ricorsione.

1
Quali sono i limiti del calcolo in questo universo?
Comprendo che la completezza di Turing richiede memoria illimitata e tempo illimitato. Tuttavia, vi è una quantità finita di atomi in questo servizio, rendendo così limitata la memoria. Ad esempio, anche se è irrazionale, non c'è modo di memorizzare più di un certo numero di cifre anche se tutti gli …
5
Un computer può simularsi come parte di un mondo simulato?
Supponiamo che tu costruisca un computer che calcolerà lo stato di tutti gli atomi nell'Universo in un determinato momento futuro. Poiché l'Universo è, per definizione, tutto ciò che esiste (e tutto ciò che interagisce con il resto), include anche il computer che stai costruendo. Puoi calcolare lo stato di tutti …
1
In che misura la matematica dei Real può essere applicata ai Real Computable?
Esiste un teorema generale che affermerebbe, con un'adeguata sanificazione, che i risultati più noti sull'uso dei numeri reali possono essere effettivamente utilizzati quando si considerano solo i reali calcolabili? Oppure esiste una corretta caratterizzazione dei risultati che rimangono validi se si considerano solo i reali calcolabili? Una domanda secondaria è …
3
C'è un nome per "cose ​​fisiche con le quali si può costruire una macchina di Turing"?
Una delle cose straordinarie dell'informatica è che l'implementazione fisica è in un certo senso "irrilevante". Le persone hanno costruito con successo computer da diversi substrati diversi: relè, tubi a vuoto, transistor discreti, ecc. Le persone potrebbero presto riuscire a costruire computer completi di Turing con materiali ottici non lineari, varie …
2
Cosa sappiamo delle versioni limitate del problema di arresto
( AGGIORNAMENTO : qui viene posta una domanda meglio formata poiché i commenti per la risposta accettata di seguito mostrano che questa domanda non è ben definita) La classica dimostrazione dell'impossibilità del problema di arresto dipende dalla dimostrazione di una contraddizione quando si tenta di applicare l'algoritmo di rilevamento dell'arresto …
2
Punti fissi in computabilità e logica
Questa domanda è stata pubblicata anche su Math.SE, /math/1002540/fixed-points-in-computability-nd-logic Spero sia giusto pubblicarlo anche qui. In caso contrario, o se è troppo semplice per CS.SE, per favore dimmelo e lo cancellerò. Vorrei capire meglio la relazione tra teoremi a virgola fissa in logica e λλ\lambda -calculus. sfondo 1) Il ruolo …
2
Espressione mu-ricorsiva esplicita per la funzione di Ackerman
Puoi indicarci come sviluppare la funzione di Ackerman (in realtà sono interessato a una versione proposta da Rózsa Péter e Raphael Robinson) tramite operatori mu-ricorsivi standard? Ho provato gli articoli originali di Péter e Robinson, ma l'articolo di Péter usa una lingua diversa dall'inglese e gli articoli di Robinson "Ricorsione …
6
Interpretazione geometrica del calcolo
Essendo della fisica, sono stato addestrato a esaminare molti problemi da un punto di vista geometrico. Ad esempio la geometria differenziale delle varietà nei sistemi dinamici, ecc. Quando leggo le basi dell'informatica, cerco sempre di trovare interpretazioni geometriche. Come una plausibile interpretazione geometrica di insiemi ricorsivamente enumerabili (ho lavorato su …
2
Qual è il problema "più vicino" alla congettura di Collatz che è stata risolta con successo?
Sono interessato al problema "più vicino" (e "più complesso") alla congettura di Collatz che è stata risolta con successo (che Erdos ha affermato che "la matematica non è ancora matura per tali problemi"). È stato dimostrato che una classe di problemi "simili a Collatz" è indecidibile. Tuttavia, problemi che sono …
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.