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ù [...] /F si ottiene quozientando il prodotto diretto rispetto a F, in modo che la soddisfazione delle formule atomiche da parte delle classi d'equivalenzadi f1,…,fn dipenda esclusivamente da quello che si verifica nelle strutture Mi associate a insiemi X ...
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 [...] tipi ramificati, prettamente predicativa. Quello che Gödel ottiene, attraverso una definizione ricorsiva interna a ZF, o teorie equivalenti, è la definizione di una classe che risulta un modello interno della teoria, nel senso che tutti gli assiomi ...
Leggi Tutto
L'Eta dei Lumi: matematica. I Principia di Newton nel Settecento
Niccolò Guicciardini
I Principia di Newton nel Settecento
Nel 1687 furono pubblicati a Londra i Principia di Newton. Quest'opera è oggi [...] . Da un lato egli voleva sostenere l'equivalenza fra i metodi dei Principia e il calcolo di poco. Secondo Euler, i metodi geometrici mancano di generalità e flessibilità, mentre quelli analitici permettono di affrontare metodicamente intere classidi ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] fenomeno può essere rappresentato da diversi modelli, eventualmente non matematici.
L’equivalentedi un dato fenomeno non è dunque un singolo modello ma piuttosto la classediequivalenza dei possibili modelli. Ciò che essi hanno in comune, da un ...
Leggi Tutto
PASCAL, Ernesto
Maria Rosaria Enea
PASCAL, Ernesto. – Nacque a Napoli il 7 febbraio 1865 da Stefano, membro di una famiglia francese di commercianti tarasconesi, e da Maria Gaetana Zapegna.
Compì i [...] riduzione di tali equazioni a equazioni con un numero minori di variabili o a tipi speciali, e quelli sull’equivalenzadi applicazioni agli integrali di prima e seconda specie), ma anche all’integrazione di alcune classidi equazioni differenziali, ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] concettuale nuovo dell’a., e cioè che ogni problema o classedi problemi ha uno spazio funzio;nale naturalmente associato.
Lo studio alla nozione matematica di insieme e alle relazioni che sussitono tra insiemi quali equivalenza, intersezione, ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] il moto, il sistema di riferimento solidale con B non è inerziale e quindi non è equivalente a quello iniziale.
Per il p. di d’Alembert ➔ Alembert, Jean o sintattiche). Appartengono alla classe delle antinomie logiche i p. di Burali-Forti, Cantor e ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] classi concettuali come uccelli, cui appartengono passero, aquila ecc.): queste non sono definite da liste di proprietà tutte di L’ dai cui assiomi è deducibile per ciascun enunciato E di L un’equivalenza metalinguistica ‘E è vero-in-L se, e solo se ...
Leggi Tutto
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] B) di morfismi nella categoria.
Noi useremo il linguaggio indicato per primo qui sopra: sarà la classedi tutti gl α-1 : T → S. Un funtore S: C → D è detto un'"equivalenzadi c.", quando esiste un funtore T: D → C e due isomorfismi naturali S•T ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] si provoca interferenza tra due fasci di neutroni, verificano il principio relativistico dell'equivalenza tra un sistema in moto accelerato molecolare di Okazaki, scopre una nuova classedi catalizzatori che consentono di realizzare vari tipi di ...
Leggi Tutto
quoziente
quoziènte s. m. [dal lat. quotiens avv. «quante volte», der. di quot «quanti»]. – 1. In aritmetica, il risultato dell’operazione della divisione, e cioè il numero che esprime quante volte il divisore è contenuto nel dividendo: q....
memòria s. f. [dal lat. memoria, der. di memor -ŏris «memore»]. – 1. a. In generale, la capacità, comune a molti organismi, di conservare traccia più o meno completa e duratura degli stimoli esterni sperimentati e delle relative risposte. In...