Informatica teorica church-turing-thesis

7

Applicabilità della tesi di Church-Turing a modelli interattivi di calcolo

Paul Wegner e Dina Goldin pubblicano da oltre un decennio articoli e libri sostenendo principalmente che la tesi di Church-Turing è spesso travisata nella comunità della Teoria CS e altrove. Cioè, viene presentato come comprendente tutto il calcolo quando in realtà si applica solo al calcolo delle funzioni, che è …

38 computability turing-machines machine-models church-turing-thesis

3

Tesi di Church-Turing estesa

Una delle domande più discusse sul sito è stata cosa significherebbe confutare la tesi di Church-Turing . Ciò è in parte dovuto al fatto che Dershowitz e Gurevich hanno pubblicato una dimostrazione della tesi di Church-Turing sul Bulletin of Symbolic Logic nel 2008. (Non ne parlerò qui, ma per un …

35 soft-question lo.logic church-turing-thesis

1

Relazione storica tra Typed Lambda Calculus e Lisp?

Recentemente ho avuto una discussione con un amico (che è un sostenitore di linguaggi fortemente tipizzati). Ha fatto il commento: Gli inventori di Lambda Calculus hanno sempre voluto che fosse digitato. Ora possiamo vedere che la Chiesa era associata al Calcolo Lambda semplicemente tipizzato . In effetti, sembra che abbia …

16 lambda-calculus church-turing-thesis lisp typed-lambda-calculus

2

La relazione dei teoremi di incompletezza di Gödel con la tesi Church-Turing

Questa potrebbe essere una domanda ingenua, ma qui va. (Modifica - non sta ottenendo voti, ma nessuno ha offerto una risposta; forse la domanda è più difficile, oscura o poco chiara di quanto pensassi?) Il primo teorema di incompletezza di Gödel può essere dimostrato come un corollario dell'indecidibilità del problema …

11 lo.logic computability church-turing-thesis

Domande taggate «church-turing-thesis»