In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] risultare né vera né falsa. Per es., la formula chiusa ∀x∃y (2x=y), se il dominio dell’interpretazione è l’insiemedeinumerinaturali risulta vera; la formula aperta 2x=y per la stessa interpretazione non risulta né vera né falsa.
Una formula di L ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] S è la r. ‘divisore’ sull’insiemedeinumerinaturali e T è la r. ‘minore’ sullo stesso insieme, R = S ⋃ T risulta essere la r. ‘divisore proprio’, sempre sull’insiemedeinumerinaturali.
Oltre alle operazioni insiemistiche precedentemente indicate ...
Leggi Tutto
Lo spazio dalle dimensioni illimitate, o il tempo senza confini.
Il pensiero greco si è occupato fin dalle sue origini del concetto di infinito. Delle soluzioni proposte dai pensatori della scuola ionica [...] essere posti in corrispondenza biunivoca, elemento per elemento, tra loro a due a due (per es.: l’insiemedeinumerinaturali, deinumeri pari, deinumeri razionali).
Si dice che una funzione y=f(x), della variabile reale x, tende all’i. (positivo ...
Leggi Tutto
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
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
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] da argomenti per assurdo, come avviene per il teorema secondo il quale la cardinalità dell'insiemedeinumeri reali è strettamente maggiore di quella dell'insiemedeinumerinaturali, da cui, ancora per assurdo, discende l'esistenza di infiniti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] un A che contiene 0 e che soddisfa ∀ x (x ∈A⇔{x}∈ A); prendendo sc(x)={x}, si può identificare l'insieme ℕ deinumerinaturali con il più piccolo sottoinsieme di A che contiene 0 ed è chiuso rispetto a questa operazione di successore. Più in generale ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] Di una variabile (per es., l'insiemedeinumerinaturali) che si può calcolare effettivamente, cioè per la quale esiste un procedimento che permette di determinarne i valori o, in altri termini, le grandezze che possono essere calcolate con 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...