teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] In un sistemaassiomatico moderno la distinzione fra t. e assiomi non è però netta e assoluta in quanto il sistema costituisce un insieme organico di enunciati nel quale si può, in generale, cominciare con alcuni o con altri enunciati.
In un sistema ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] e leggi teoriche e termini teorici dall’altro. Nella prospettiva neoempiristica una t. può essere caratterizzata come un sistemaassiomatico di tipo ipotetico-deduttivo dai cui enunciati primitivi o postulati (o assiomi) possono essere ricavati, per ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] Possiamo associare una certa quantità di informazione agli assiomi e alle regole di ragionamento che defmiscono un certo sistemaassiomatico e possiamo definire il suo contenuto di informazione come la dimensione di un programma per computer in grado ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] S, S′ costituiscono una coppia di punti coniugati rispetto al sistema.
Se quest’ultimo è stigmatico e se i prolungamenti dei raggi si parla perciò spesso, più in generale, di s. assiomatico. S. formali che hanno avuto una notevole importanza sono ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] in Egitto e in Mesopotamia. Intorno al 3000 a.C. il sistema numerale degli Egizi era a base decimale, con simboli diversi che come utili artifici, privilegiando piuttosto la sistematizzazione assiomatico-deduttiva. Fra gli avversari di queste tesi ...
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, [...] 'i. e a determinare importanti evoluzioni dei linguaggi di programmazione (programmazione strutturata). Nel sistema formale proposto da Hoare (logica di Hoare o semantica assiomatica) viene data particolare enfasi all'analisi della correttezza di un ...
Leggi Tutto
EGUAGLIANZA
Ronald M. Dworkin e Alessandro Pizzorusso
Eguaglianza
di Ronald M. Dworkin
Rassegna dei problemi
Sebbene per molti secoli l'eguaglianza abbia costituito un potente ideale politico, [...] metodologia costruttivista che non assegna un valore assiomatico all'eguaglianza. Altri autori attribuiscono all'eguaglianza che ogni cittadino abbia eguali diritti di voto, e che il sistema elettorale si basi sul principio 'una testa, un voto'. Essa ...
Leggi Tutto
Dai primi insediamenti al fenomeno urbano. Americhe
Thomas R. Hester
Christine Niederberger
Claude-François Baudez
Duccio Bonavia
Krzysztof Makowski Hanula
Dalle prime comunità di villaggio alle [...] esistenza tra l'8000 e il 2000 a.C. di sistemi economici e di modi di vita assai simili a quelli attestati sistemi insediativi a carattere urbano. Il termine "urbano" viene impiegato nell'archeologia sudamericana con diverse accezioni: assiomatica ...
Leggi Tutto
Totalitarismo
KKarl D. Bracher
di Karl D. Bracher
Totalitarismo
sommario: 1. Definizioni e controversie. 2. Sviluppo e ‛autointerpretazione' del totalitarismo. 3. Possibilità di applicazione. 4. Conclusioni. [...] non ha visto l'eguale (v. propaganda).
In quanto sistema politico, il totalitarismo è l'effetto immediato delle crisi che astratta di realtà eterogenee a favore dello schema assiomatico d'una sindrome totalitaria esattamente definita. È lampante ...
Leggi Tutto
Psicologia analitica
Vincenzo Cappelletti
di Vincenzo Cappelletti
sommario: 1. Le divergenze fra Jung e Freud. □ 2. I fondamenti della psicologia analitica. □ Bibliografia.
1. Le divergenze fra Jung [...] successivi, M. Griaule, quando cercherà di decifrare il sistema cosmico della parola formulato dalle popolazioni Dogon della Guinea. darsi l'ordine interno e l'univocità verificabile di un'assiomatica. I due articoli citati del 1945 e del 1948 sono ...
Leggi Tutto
assiomatico
assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione),...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...