Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] rigorosa. È famoso, tra essi, il p. di Zenone (➔ Achille), connesso a un’indebita estensione a insiemi infiniti di principi validi solo per insiemifiniti.
Tipi di paradossi
In logica, il p. è un enunciato contrario all’opinione comune ovvero che si ...
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 [...] tra loro.
Se si prende come punto di partenza il concetto di insiemefinito, si potrà dire che un insieme è infinito quando esso non è «equivalente» a un insiemefinito (cioè non si può porre in corrispondenza biunivoca, elemento per elemento, con ...
Leggi Tutto
Col termine c., nella moderna statistica, si designa un insieme parziale di unità o elementi singoli tratti da un insieme più grande, detto popolazione o universo. Generalmente, è usato il termine popolazione [...] o massa per designare gli insiemifiniti, quello di universo per designare gli insiemi che risultano da un numero infinito di unità. La teoria del c. studia le relazioni esistenti tra l'insieme parziale e l'insieme delle unità che compongono la ...
Leggi Tutto
In aritmetica, numero che indica il posto che un ente ha in una successione, il cosiddetto numero d’ordine (primo, secondo ecc., oppure 1°, 2° ecc., o I, II ecc.). Teoria dei numeri ordinali Teoria matematica [...] e si scrive σ < τ. Come i cardinali, gli o. di insiemifiniti si dicono naturali (o finiti o induttivi), quelli di insiemi infiniti si dicono transfiniti. Dato un insieme bene ordinato finito S di n elementi, comunque si modifichi in esso l’ordine ...
Leggi Tutto
Astronomia e geografia
Punti c. Punti d’incontro dell’orizzonte con il meridiano e con il primo verticale. I punti di intersezione dell’orizzonte con il meridiano (cerchio massimo passante per i poli e [...] essere concepito in due diversi modi: come numero d’ordine degli oggetti in una successione finita (numero ordinale) o come numero degli oggetti di un insiemefinito (numero c. o cardinalità). Si può estendere il concetto di numero c. anche a classi ...
Leggi Tutto
tricotomia botanica Tipo di ramificazione a cima, nel quale l’asse principale reca 3 rami sottostanti all’apice, che termina con un fiore o con un’infiorescenza (per es., nell’oleandro) o con una gemma [...] cioè si può stabilire una corrispondenza biunivoca tra i due insiemi; b) I ha potenza maggiore di E; c) I ha potenza minore di E; mentre per insiemifiniti la t. è evidente, nel caso di insiemi infiniti si è dimostrato che essa equivale al postulato ...
Leggi Tutto
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti sistemi di Thue (insiemifiniti e non vuoti di coppie ordinate di parole su determinati alfabeti) si è potuta dimostrare la non risolubilità del problema delle ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] indivisibili) e, in quest'ultimo caso, se questi atomi fossero di numero finito oppure infinito. Stabilendo una corrispondenza biunivoca tra elementi di insiemi (finiti o infiniti), per esempio tra i punti che costituiscono il diametro del cerchio ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] le sostituzioni e i calcoli sopra descritti a un certo sistema di equazioni E. In tal modo E è proprio un insiemefinito di equazioni s=t, dove s e t sono espressioni formali ottenute mediante la concatenazione di simboli funzionali, i cui argomenti ...
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 [...] le questioni della verità in matematica a quelle asserzioni che possono essere verificate o confutate. Ovviamente, per un insiemefinito A e per una proprietà P decidibile possiamo verificare ∃xP(x)⋁∀x¬P(x) controllando volta per volta ciascun ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...