insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] della: II 168 b. qz I. creativo: v. Gödel, teorema di: III 57 d. ◆ I. dei tempi: v. sistemi, teoria dei: V 316 d. ◆ I. denso: v. spazio nella sua teoria, l’assiomadi comprensione è sostituito da una serie diassiomidi portata più ristretta. Oggi ...
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 [...] linguaggio nel quale si 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ù ...
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 [...] . L’apparato deduttivo di un sistema formale è costituito dagli assiomi e dalle regole di inferenza. L’insieme degli assiomi si compone di due sottoinsiemi distinti di formule, quello degli assiomi logici e quello degli assiomi propri della t ...
Leggi Tutto
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] (si legge «è possibile che H»); cioè la m. di possibilità è definita nel metalinguaggio a partire dalla m. di necessità e dalla negazione. Nei vari sistemidi logica modale enunciativa gli assiomi e le regole sul simbolo L corrispondono a ipotesi sul ...
Leggi Tutto
TOPOLOGIA ASTRATTA
S. Fac.
. La topologia (meno modernamente chiamata analysis situs; v. III, p. 87) si occupa delle proprietà invarianti degli insiemi di punti nelle trasformazioni bicontinue (omeomorfismi), [...] che dal concetto di chiusura, da quello di intorno; si ottiene così il seguente complesso diassiomi (F. Hausdorff) teoremi si conoscano per particolari tipi di equazioni; allo stesso modo come, se si sa che il sistemadi equazioni lineari
ha una e ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] connessione dei termini dei vari enunciati, all'interno di un sistemadi nozioni tutte pertinenti al medesimo dominio del sapere; perfettamente ordinato diassiomi.
Egli definiva così gli assiomi: "L'assioma è la disposizione di un argomento ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] sono essenziali per poter ricostruire il sistemadi al-Kindī (IX sec.). È assiomi da risultare evidenti alla minima riflessione (aysar ta᾽ammul); e altri che se ne allontanano tanto da esigere varie proposizioni intermedie che permettano di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] di teoria (co-)omologica a partire da 4 assiomi: di omotopia, della successione esatta della coppia, di excissione e di dimensione.
Linguaggio didi addizioni, di una calcolatrice elettromeccanica; è in grado, per esempio, di risolvere sistemidi ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] di problemi di tale tipo sono la risolubilità di un sistemadi equazioni lineari a variabili intere, la soddisfacibilità di . Gli assiomi della teoria definiscono il comportamento delle istruzioni elementari di un programma.
Per esempio, l'assioma:
[2 ...
Leggi Tutto
La scienza bizantina e latina. Introduzione
John D. North
Introduzione
Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] col tentativo di ricondurre la discordanza caotica delle nostre esperienze sensoriali a un sistemadi pensiero logico base alla differenza dei loro principî fondamentali ‒ i loro assiomi, diremmo oggi ‒ spesso si scopriva che questi principî potevano ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
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...