Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, [...] biunivoca con una parte dell’insiemedeinumeri reali, allora o lo si può porre in corrispondenza biunivoca con l’intero insiemedeinumeri reali (e allora ha la potenza del continuo), oppure con l’insiemedeinumerinaturali (e allora ha la potenza ...
Leggi Tutto
Filosofia
Il carattere fondamentale di un corpo fisico in quanto dotato delle tre dimensioni spaziali. Il concetto di e. si trova già in Aristotele e poi in numerosi altri filosofi sia medievali (per es., [...] di cui il predicato è vero (per es., il predicato «essere pari», definito sull’insiemedeinumerinaturali, ha per e. l’insiemedeinumeri pari); e. di un predicato n-adico, l’insieme delle n-uple di individui di cui il predicato è vero (per es., il ...
Leggi Tutto
GRAFO
Francesco Speranza
. Con linguaggio informale, si può dire che un g. è formato da certe entità (vertici) e da certi collegamenti fra queste (spigoli o archi): s'intende che ciascuno spigolo collega [...] I di indici in X (per es., una successione è una famiglia il cui insieme degl'indici è l'insiemedeinumerinaturali). Un ipergrafo è dato da un insieme V (insiemedei vertici) e da una famiglia E di parti (finite) di V (famiglia degli spigoli ...
Leggi Tutto
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] , nelle premesse, abbiamo posto in una c. una "classe" di oggetti; ora nell'es. (4) questa classe è l'insiemedeinumerinaturali, ma negli altri esempi non è chiara la natura delle totalità degli oggetti che s'intende considerare. Dobbiamo, a questo ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] su un adeguato insieme di simboli dei predicati
Sono presenti in questo caso, oltre ai connettivi enunciativi, quantificatori - esiste (∃), per ogni (∀) -, variabili individuali (x, y, z, ...), variabili predicative pki, dove k è un numeronaturale ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] diversi da quelli indicati appartengano a I (o godano di P). Per es., una tipica definizione per i. è quella nell’insieme N deinumerinaturali. L’elemento-base è lo zero, l’operazione è quella di «successore»; si dirà allora: 1) zero appartiene a N ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] nat l'insiemedeinaturali e a bool l'insieme {vero, falso} e interpretando le operazioni zero (come la costante 0), succ (come il successore di un naturale), ed eq (come la relazione di uguaglianza tra due interi), si vede che i numerinaturali sono ...
Leggi Tutto
infinito
infinito [agg. e s.m. Der. del lat. infinitus, comp. di in- neg. e del part. pass. finitus di finire "limitare", da finis "confine"] [LSF] Oltre che nei signif. matematici (per i quali v. oltre), [...] limite, cioè come numerosità o potenza di un insieme: rientrano in questo concetto l'i. numerabile (cioè la potenza dell'insiemedeinumerinaturali), l'i. continuo (la potenza del-l'insiemedeinumeri reali, dei punti di una retta, ecc.). ◆ [ANM] I ...
Leggi Tutto
Peano
Peano Giuseppe (Cuneo 1858 - Torino 1932) matematico e logico italiano. La sua produzione scientifica (una ventina di libri e oltre quattrocento articoli) tocca in modo originale diversi rami della [...] di aritmetica esposti con nuovo metodo, 1889). In quest’opera Peano diede una definizione assiomatica dell’insiemedeinumerinaturali formulando cinque assiomi a partire dai concetti primitivi di «zero» e della funzione iniettiva detta «successore ...
Leggi Tutto
secondo ordine, teoria del
secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa [...] , il quale abbia come dominio di interpretazione l’insiemedeinumerinaturali, allora ogni proprietà che è possibile attribuire a un numeronaturale corrisponde a un sottoinsieme dell’insiemedeinumerinaturali. Per esempio, la proprietà «n è un ...
Leggi Tutto
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...
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...