insiemericorsivamenteenumerabileinsiemericorsivamenteenumerabileinsieme tale che, dato un elemento a, è possibile stabilire, in un numero finito di passi, se esso gli appartenga. Se tuttavia l’elemento [...] finito di passi; in questo senso la condizione di insiemericorsivamenteenumerabile corrisponde alla semidecidibilità (→ insieme decidibile). In termini più rigorosi, un insieme è ricorsivamenteenumerabile se e solo se è vuoto oppure è il codominio ...
Leggi Tutto
enumerabileenumerabile termine che si riferisce a un insieme di cui sia possibile elencare tutti gli elementi in un dato ordine. Tale insieme deve quindi essere finito o numerabile, ma ciò non è sufficiente. [...] formali, un insieme è enumerabile se risulta essere l’immagine di una funzione calcolabile. L’aggettivo è utilizzato anche nel contesto della decidibilità dell’appartenenza di un elemento a un insieme infinito (→ insiemericorsivamenteenumerabile). ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] da un computer. L'insolubilità del problema della fermata dimostra che esistono insiemiricorsivamenteenumerabili ma non ricorsivi. Poiché per ogni insiemericorsivamenteenumerabile esiste un programma x che si ferma sull'argomento z se e solo ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] dei teoremi della logica classica elementare (e di molte logiche non classiche) è un insiemericorsivamenteenumerabile: ogni singolo teorema è deducibile in un numero finito di passi. Ha senso allora la ricerca di dimostratori automatici, per ...
Leggi Tutto
m-completo
m-complèto 〈èmme-〉 [agg. Comp. del simb. m e completo] [ALG] Insieme m.: tipo particolare di insiemericorsivamenteenumerabile: v. Gödel, teorema di: III 57 d. ...
Leggi Tutto
creativo
creativo [Der. del lat. creare "relativo al creare"] [ALG] Insieme c.: tipo di insiemericorsivamenteenumerabile: v. Gödel, teorema di: III 57 d. ...
Leggi Tutto
enumerabileenumeràbile [agg. Der. del lat. numerus "numero"] [ALG] Insieme e.: insieme per cui esiste un procedimento effettivo per stabilire una corrispondenza biunivoca tra i suoi elementi e i numeri [...] naturali. ◆ [ALG] [INF] Insiemericorsivamente e.: v. automi, teoria degli: I 332 c. ...
Leggi Tutto
ricorsivamentericorsivaménte [Der. di ricorsivo "in maniera ricorsiva"] [ALG] Insieme r. enumerabile: v. Gödel, teorema di: III 57 b. ◆ [ALG] Nozione non r. enumerabile: v. Gödel, teorema di: III 54 [...] f ...
Leggi Tutto
INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] l'esistenza di linguaggi ricorsivamenteenumerabili non ricorsivi. Quest'ultima asserzione costituisce una forma astratta del teorema di Gödel che stabilisce che ogni sistema assiomatico consistente e adeguato a esprimere un insieme di asserzioni ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] o decidibile) se è ricorsivamenteenumerabile e anche il suo complementare lo è. In modo equivalente, L è computabile se è riconosciuto da una macchina di Turing che si ferma sempre. Un tipico linguaggio indecidibile è l'insieme delle coppie (⟨M⟩, x ...
Leggi Tutto