spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] s.; quando n>3 si parla di s. a più dimensioni, s. n-dimensionale o iperspazio. Spesso accade infine che in un dato insieme, pensato come s., siano simultaneamente presenti due diverse strutture di s., generalmente collegate tra loro; così, per es ...
Leggi Tutto
GADAMER, Hans Georg
Valerio Verra
Filosofo tedesco, nato a Marburgo l'11 febbraio 1900. Dopo essersi laureato in filosofia con Natorp nel 1922, ha studiato filologia classica e successivamente ha conseguito [...] il senso totale della storia. Proprio per il suo carattere autenticamente dialettico e dialogico il linguaggio è infatti insiemeinfinito come lo spirito, e finito come ogni accadere storico; per questo l'interpretazione non è qualcosa di soggettivo ...
Leggi Tutto
In matematica, insieme che può essere posto in corrispondenza biunivoca con l’insieme dei numeri interi naturali. Un insieme n. è dunque necessariamente un insiemeinfinito; ogni suo sottoinsieme è finito [...] del n. e si usa denotare con la prima lettera dell’alfabeto ebraico, accompagnata dall’indice 0: ℵ0 (alef zero). Esempi di insiemi aventi la potenza del n. sono l’insieme dei numeri interi relativi, quello dei numeri razionali ecc.
Il concetto di ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] formale L è una coppia <I, D> costituita da una funzione d’interpretazione I e da un insieme non vuoto (finito o infinito) detto ‘dominio’ di discorso D. La funzione I deve assegnare alle espressioni semplici di ciascuna categoria sintattica un ...
Leggi Tutto
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 insiemiinfiniti di principi validi solo per insiemi finiti.
Tipi di paradossi
In logica, il p. è un enunciato contrario all’opinione comune ovvero che si ...
Leggi Tutto
LOGICA MATEMATICA
Beppo LEVI
*
. Logica matematica ovvero logistica o logica simbolica o algebra della logica o logica teorica o logica della matematica sono termini fra loro parzialmente equivalenti, [...] a ⋂ b o con ab e si legge "a e b"; infine si ha la classe complementare o negazione di una classe a, costituita da ne ritengono necessaria e legittima l'ammissione pura e semplice (v. insieme). b) Negli ultimi decennî una scuola di matematici (L. E. ...
Leggi Tutto
INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] .
Per ogni tipo di dato si definisce un dominio, cioè un insieme di valori che possono essere assunti dai dati di quel certo tipo il deposito a pushdown si dice, quindi, di capacità infinita. I riconoscitori a pushdown, come i riconoscitori di Rabin ...
Leggi Tutto
INFINITESIMALE, ANALISI
Giulio VIVANTI
Sotto questo nome si comprendono insieme il calcolo differenziale e il calcolo integrale. Rimandando a differenziale, calcolo; integrale, calcolo per i metodi [...] ogni paese si appropriarono i nuovi metodi, e, insieme con i grandi maestri, affrontarono vittoriosamente i più 1906) definì come somma d'una serie, anche se divergente, il limite per n infinito, se esiste, del rapporto (s + s2 + ... + sn)/n, dove sr ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] .).
Un'a. universale o a. senz'altro, A, è una coppia (A, F), dove A è un insieme non vuoto, mentre F è una famiglia (eventualmente anche infinita) di operazioni finitarie: F = {fi}∈I. A ogni operazione fi è associato un numero intero, detto la sua ...
Leggi Tutto
SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] S.). Ne consegue che ogni teoria assiomatica con un modello infinito ha anche un modello numerabile, con una relativizzazione della nozione d'insieme. In particolare, poiché la teoria degli insiemi di Zermelo-Fraenkel si basa su un sistema di assiomi ...
Leggi Tutto
infinito
agg. e s. m. [dal lat. infinitus, comp. di in-2 e finitus, part. pass. di finire «limitare»]. – 1. agg. a. Che non ha principio né fine; che non ha limiti: il tempo i.; lo spazio i.; la misericordia di Dio è i.; i. silenzio (Leopardi)....
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...