logiche a più valori
Settimo Termini
Nel ricco panorama delle varianti della logica classica esse si presentano come logiche non classiche vero-funzionali (cioè, il valore di verità di un enunciato [...] valori di verità. Nei sistemi di logiche a più valori, i valori di verità solitamente formano un insieme finito ordinato, un insieme infinito numerabile o un insieme continuo come, per es., l’intervallo [0,1] della retta reale. Dato anche l’interesse ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] I 478 e. ◆ [ANM] C. di un insieme di autofunzioni: un insieme di autofunzioni di un operatore H è detto completo se non contraddittoria ha un modello numerabile, cioè ha un modello il cui universo ha un'infinità numerabile di elementi. Si tratta ...
Leggi Tutto
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] (cioè i cui elementi possono essere messi in corrispondenza biunivoca con i numeri interi) mentre le funzioni appartengono a un insieme non numerabile: questo implica che devono esistere funzioni cui non corrisponde alcun algoritmo di calcolo ...
Leggi Tutto
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...