Domande taggate «computable-analysis»

3
Quali sono i motivi per cui i ricercatori nella geometria computazionale preferiscono il modello BSS / RAM reale?
sfondo Il calcolo sui numeri reali è più complicato del calcolo sui numeri naturali, poiché i numeri reali sono oggetti infiniti e ci sono innumerevoli numeri reali, quindi i numeri reali non possono essere rappresentati fedelmente da stringhe finite su un alfabeto finito. A differenza della classica calcolabilità su stringhe …
6
Le funzioni che hanno digitato il calcolo lambda non possono essere calcolate
Voglio solo conoscere alcuni esempi delle funzioni che possono essere calcolate dal calcolo lambda non tipizzato ma non dai calcoli lambda digitati. Dato che sono un principiante, una certa reiterazione delle informazioni di base sarebbe apprezzata. Grazie. Modifica: con i calcoli lambda digitati, avevo intenzione di conoscere il sistema F …
2
Come giudicare la definizione di complessità computazionale dei reali è naturale o adatta?
Come sappiamo, la definizione della complessità computazionale dell'algoritmo è quasi senza controversie, ma la definizione della complessità computazionale dei reali o dei modelli di calcolo sui reali non è in tal caso. Conosciamo il modello e il modello di Blum e Smales nel libro Analisi calcolabile. E apparentemente, il modello …
3
Decidibilità dei numeri trascendentali
Ho una domanda, la cui risposta è probabilmente ben nota, ma non riesco a trovare nulla di significativo dopo un po 'di ricerche, quindi apprezzerei un po' di aiuto. La mia domanda è se è noto che decidere se un numero è trascendentale è indecidibile. Forse, uno assume come input, …
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.