Fisica
Giorgio Parisi
Spiegare cosa è oggi la f. e cosa la differenzia dalle altre discipline non è facile. Dare una precisa definizione di una scienza è arduo, specialmente in questi anni in cui si [...] senso di seguito specificato: in una teoria fisica 'matura' si prendono le mosse da alcune leggi (oppure assiomi), ispirandosi all'esperienza, e da proprietà fondamentali che dovrebbero avere un corrispondente nel mondo oggettivo. Alla descrizione ...
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, [...] e regole che stabiliscono relazioni tra programmi e proprietà dello stato. Un tipico esempio, in tal senso, è l'assioma che descrive le proprietà della composizione sequenziale (anch'esso appartenente alla logica dinamica)
Dopo i risultati teorici ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] (x ∨ y) ∨ z =
= x ∧ (y ∧ x) = x ∨ (y ∨ x)
x ∧ (x ∨ y) = x x ∨ (x ∧ y) = x.
All’inverso se un’algebra 〈A,∧,∨〉 soddisfa gli assiomi di sopra e definiamo x≤y se x∧y=x, avremo che 〈A,≤〉 risulta un reticolo di cui ∧ e ∨ sono rispettivamente l’infimo e il ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] : III 14 c. ◆ [MCC] S. del secondo ordine: v. sistemi dinamici: V 291 f. ◆ [ALG] [FAF] S. di assiomi: insieme degli assiomi di una teoria. ◆ [ELT] [INF] S. di calcolatori: insieme di calcolatori interconnessi tra loro ognuno dei quali può colloquiare ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] può parlare del linguaggio usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi, e in questo caso la teoria è più comunemente detta teoria assiomatica; b) se sia decidibile l’insieme dei teoremi ...
Leggi Tutto
struttura
struttura [Der. del lat. structura, dal part. pass. structus di struere "costruire"] [LSF] La costituzione e la disposizione degli elementi che, in rapporto correlativo o funzionale fra loro, [...] infinito-dimensionali: VI 494 f. ◆ [ALG] S. topologica: lo stesso che topologia: v. spazio topologico: V 468 a. ◆ [PRB] Assiomi di s.: v. probabilità classica: IV 579 c. ◆ [MTR] [FAT] Costante di s. fine: una delle costanti fondamentali della fisica ...
Leggi Tutto
transfinito In matematica, che va al di là del finito. Numeri t. (o infiniti), numeri che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale dell’aritmetica ordinaria [...] totale che si fonda sul seguente teorema enunciato da Cantor e dimostrato nella sua prima parte da E. Zermelo (sulla base dell’assioma della scelta) nel 1904, e nella sua seconda parte da F. Bernstein nel 1897: dati due insiemi A, B è vera almeno ...
Leggi Tutto
Sessualità
Vincenzo Cappelletti
1. Citogenetica
Dalla memoria di Karl Ernst von Baer De ovi mammalium et hominis genesi, del 1827, con le prime osservazioni sull'uovo nei follicoli ovarici di un mammifero [...] negli Studies in the psychology of sex di Havelock Ellis, e in Krafft-Ebing, in Moll. Due gli assiomi: la pulsione, Trieb, definita come "rappresentanza psichica", psychische Repräsentanz, di una stimolazione endosomatica in continuo flusso, e la ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
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...