Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base dove B è priva di quantificatori, e neanche per le loro negazioni, equivalenti alle esistenziali; diremo allora che M′ è sottostruttura elementare di M e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] in breve, il concetto generale di funzione è equivalente a quello di una Tabelle arbitraria. Schönflies ricorda ricondotti alla teoria degli insiemi, che dal punto di vista logico appare come la fondazione appropriata per la scienza matematica".
...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Teoria e pratica nel Medioevo
Guy Beaujouan
Teoria e pratica nel Medioevo
L'Alto Medioevo
Il giudizio negativo, talvolta velato di [...] si diceva mechanicae id est adulterinae e sembra che questa equivalenza tra i due termini sia comparsa per la prima opera le scienze si suddividevano in scienza del linguaggio, logica, matematica, scienze naturali, metafisca e politica (con diritto ...
Leggi Tutto
DE FILIPPIS, Vincenzo
Ugo Baldini
Nacque a Tiriolo (Catanzaro) il 4 apr. 1749 da Vito e Laura Micciulli.
La famiglia si collocava probabilmente nel "ceto civile" degli uffici e delle professioni: ciò, [...] il principio dei lavori virtuali da quello dell'equivalenza delle forze, al contrario dell'uso già invalso pochi principi "metafisici", privilegiando criteri di generalità e derivabilità logica. In tal senso parve al Marcolongo che i tre libri ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] varietà abeliane da un punto di vista algebrico, di equivalenza funzionale, di superfici il cui sistema canonico è degenere è falso, in quanto non coincide con la realtà» (G. Pompilj, Logica della conformità, in Archimede, IV (1952), p. 27). Le sue ...
Leggi Tutto
simmetrico
simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] polinomi fondamentali. ◆ [ALG] [FAF] Proprietà s.: nella logica matematica, la proprietà di una relazione R tale che se a ) anche b è associato ad a (bRa), com'è, per es., l'equivalenza, in partic. l'uguaglianza (R è il segno =). ◆ [PRB] Seriazione ...
Leggi Tutto
coerente
coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non sono dimostrabili contemporaneamente di un particolare operatore avente particolari proprietà di equivalenza con il comportamento di sistemi classici in virtù delle ...
Leggi Tutto
materiale 1
materiale1 [agg. Der. del lat. materialis, da materia] [LSF] [MCC] Che consta di materia o che si riferisce a proprietà della materia: corpo m., corpo ordinario, esistente nel mondo naturale [...] v. cinematica: I 698 d. ◆ [MCC] Derivata m.: lo stesso che derivata totale: v. cinematica: I 598 e. ◆ [FAF] [ALG] Equivalenza m.: nella logica matematica, l'asserto p↔q, valida quando p e q hanno lo stesso valore. ◆ [FAF] [ALG] Implicazione m.: nella ...
Leggi Tutto
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] della classe hanno in comune (rispetto a una prefissata relazione di equivalenza): per es., un vettore è l'a. di una classe 91 a. ◆ [LSF] Scienze a.: quelle (come la matematica, la logica, ecc.) che non hanno per oggetto la realtà empirica. ◆ [ALG] ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia il periodo senza ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...