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