Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] 'altra parte una lunga serie di ricerche ha messo in evidenza una classedi casi notevoli in cui la di Lie compatti in virtù di un teorema generale di dualità di Mark G. Krein e Tadao Tannaka (1939). Questo teorema stabilisce infatti un'equivalenza ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] che simula il comportamento di ogni altra. Dal punto di vista della computazione la macchina universale è equivalente a qualsiasi calcolatore reale.
La descrizione finita di algoritmo (o procedura) implica che la classedi tutti gli algoritmi sia ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] sorprendente scoperta: tutte le definizioni proposte sono equivalenti e descrivono sempre la classe delle funzioni ricorsive.
Il metodo usato nelle dimostrazioni di tali risultati diequivalenza è detto aritmetizzazione, e consiste nell'assegnare ...
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 [...] diequivalenza definite a partire dalle regole di riscrittura. Centrali a questo riguardo divengono così le varie forme del teorema dimostrato originariamente da Church e John B. Rosser che garantiscono la possibilità di identificare queste classi ...
Leggi Tutto
Nel linguaggio scientifico, si dice di ente o grandezza, e anche di espressione matematica o di espressione indicante un legame tra certe grandezze, che non muti operando particolari cambiamenti di variabili [...]
In un sistema linguistico considerato in sincronia sono i. tutte le classidi entità tra le quali si stabilisce un’equivalenza funzionale. In italiano un ‹a› di tono grave e un ‹a› di tono acuto sono entità intercambiabili, senza che la sostituzione ...
Leggi Tutto
In geometria, particolare relazione diequivalenza tra segmenti orientati: si dicono equipollenti due segmenti orientati AB, A′B′ quando le loro rette sono parallele, i loro versi concordi e le loro lunghezze [...] uguali. Dividendo l’insieme dei segmenti orientati in classi rispetto alla relazione di e., ciascuna classe rappresenta per astrazione un vettore. ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] gli operatori ω verificanti la condizione (di idempotenza) ω2 = ω, mediante i quali si possono dare notevoli teoremi di rappresentazione per diverse classidi operatori lineari. Se A è uno spazio di Banach, generalmente si considerano solo proiettori ...
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 [...] e studiato il concetto diclassedi complessità per le macchine di Turing. A tali studi hanno fatto seguito quelli di Manuel Blum e Albert , permette di stabilire l'equivalenzadi sistemi quando essi possono eseguire le stesse sequenze di azioni.
...
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 [...] euristico', secondo il quale una superficie, o classedi superfici, è data solo se ne sono di dimensione più alta, in vari lavori che si susseguono nel periodo centrale della sua attività scientifica, consiste nello studio diequivalenze meno fini di ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] sono il primo e il secondo assioma di Padoa; infine, il principio di induzione è sostituito da un principio equivalente ma più intuitivo che sarà chiamato principio del minimo: in una qualsiasi classe non vuota di numeri esiste almeno un numero che ...
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...