matematica
Walter Maraschini
Il regno dei numeri e delle figure, del calcolo e del ragionamento
La matematica è un sistema simbolico razionale e astratto che permette di orientarsi tra i problemi e [...] relazioni, il piano, lo spazio, le trasformazioni.
Logica: i metodi del ragionare corretto, dell’arrivare a e sormontate da altre linee tirate come tende, erano poste in equivalenza con la doppia lineetta e riunite, tra parentesi tonde, in grossi ...
Leggi Tutto
lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] dipendono in maniera essenziale da un'equazione l., parlandosi così di equivalenza l., sistema l. di curve o di superfici, spazio l., e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la individuazione da parte di Haskell B oggetti termini quozientati rispetto a opportune relazioni di equivalenza definite a partire dalle regole di riscrittura. Centrali ...
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 [...] nel definire una classe di elementi attraverso una relazione di equivalenza la quale, all'interno di un insieme dato, identifica euclidea). ◆ [ALG] [FAF] D. metalinguistica: nella logica matematica, una d. espressa in un metalinguaggio, ossia in ...
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 [...] . dei gruppi, quella degli anelli ecc.
Le dimostrazioni effettuate con il calcolo logico di Hilbert e Bernays (➔ logica) o con altri calcoli di tipo equivalente sono assai diverse da quelle che effettivamente un matematico adopera nella dimostrazione ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] sempre una relazione di equivalenza (anzi, il concetto di relazione di equivalenza nasce come generalizzazione delle quello di isomorfismo.
In logica matematica il concetto di u. si basa sul concetto logico di identità. È possibile definire ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] formulata da K.J. Arrow (➔ public choice).
Matematica
In logica, l’assioma di s. asserisce che data una classe Q critiche a questo assioma sono continuate anche in seguito. Altre formulazioni equivalenti all’assioma di s. furono date nel 1914 da G. ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] , soltanto di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell'impetus ῾ālīm) avevano, per così dire, i loro 'equivalenti' nella questione delle determinazioni infinitesimali e in quella della ...
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 [...] la correttezza di realizzazione viene espressa come equivalenza operazionale (anche se originariamente il termine questa natura è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che, se l'esecuzione del programma p ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di geometria algebrica italiana
Alberto Conte
Ciro Ciliberto
La scuola di geometria algebrica italiana
Gli inizi: Luigi Cremona e [...] più alta, in vari lavori che si susseguono nel periodo centrale della sua attività scientifica, consiste nello studio di equivalenze meno fini di quella lineare per le curve su superfici. Per esempio, Severi dimostra che le curve di una superficie ...
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...