Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] libera e ψ è definita come sopra. Essi costruiscono un sistema formale CS per la teoria di queste successioni, in cui è una sottospecie decidibile del continuo, allora la funzione che vale 1 su U e O sul suo complemento è definita ovunque e quindi ...
Leggi Tutto
Operatori, teoria degli
Helmut H. Schaefer e Manfred P. Wolff
Sommario: 1. Introduzione. 2. Operatori lineari fra spazi di dimensione finita. a) Generalità. b) Operatori hermitiani, normali e unitari. [...] C: (λI - A) non è biettivo da D su E}. Il suo complemento Cσ (A) si chiama ancora ‛insieme risolvente' ρ (A). Contrariamente al ′fand, M. A. Neumark e I. Segal per mezzo del seguente, semplice sistema di assiomi per le C*-algebre. Sia A un'algebra su ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] considerare il diagramma di un nodo come analogo a un sistema fisico del quale viene calcolata una funzione di partizione o somma .
L'improvviso emergere del concetto di ampiezza topologica ha il suo complemento nella fisica matematica. Edward ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] generalizzazione (Lagrange 1788, p. 198) e cioè l'estensione del principio a sistemi reonomi, nei quali le equazioni [5] dipendono dal tempo t dell'energia, e ne rappresentava una sorta di complemento naturale e necessario: "Tutto ciò che accade ...
Leggi Tutto
Analisi matematica
Jean A. Dieudonné
Alcune delle idee fondamentali che sono alla base del calcolo risalgono ai Greci, ma il loro sviluppo sistematico iniziò soltanto nel XVII secolo. Alla fine di quel [...] si può definire in modo analogo tutto un sistema di spazi di Fréchet separabili prendendo in considerazione soltanto L in E è continua; il teorema del grafico chiuso implica allora che sia L=E. Il complementare dell'insieme dei valori regolari è per ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] di formalizzare un qualche particolare sistema teorico di comportamento, anche al complementare e all'unione, cioè sia tale che, se contiene A, contenga anche ¬A - il complemento di una terna ordinata (Ω, P, θ) del tipo seguente. Ω è l'insieme di ...
Leggi Tutto
La civilta islamica: osservazioni, calcolo e modelli in astronomia. Geografia matematica e cartografia
Edward S. Kennedy
Geografia matematica e cartografia
Lo storico delle scienze esatte dell'Islam [...] =90°−(h−δ),
poiché l'altezza del punto culminante dell'equatore celeste è il complemento dell'altezza polare. Di notte si conosceva le carte di Tolomeo, che si tratti di un sistema assai vicino al metodo dell'equidistanza azimutale, avente per centro ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] '1' egli indica l'universo di discorso e con '1−x' il complemento di x (la classe di tutte le cose che non sono x). Con il che possono essere impiegati sono 0 e 1. Tipico delsistema booleano è il procedimento per sviluppare una data funzione logica ...
Leggi Tutto
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] x+1, è un n. naturale; (c) non esiste un n. naturale del quale 0 sia il successore; (d) se x e y sono n. adimensionate che siano: v. UNITÀ DI MISURA, SISTEMI DI: VI 407 a. ◆ [MCQ] dei n. razionali per complemento, ossia considerando anche i limiti ...
Leggi Tutto
CONFORTO, Fabio
Francesco Saverio Rossi
Nato a Trieste nel 1909 da Ruggero e Irene Vascotto, quando la città era ancora parte integrante dell'Impero austro-ungarico, visse gli anni dell'infanzia, a [...] 309-24). Troviamo poi note dedicate a sistemi di equazioni differenziali a derivate parziali del tipo ellittico di ordine 2n + 2 venne quindi ripresa e ampliata nella memoria Sopra un complemento all'equazione dei tre momenti per una trave continua ...
Leggi Tutto
complementare
agg. [der. di complemento, sull’esempio del fr. complémentaire]. – 1. a. Che serve di complemento, cioè di completamento, di integrazione: disposizioni c. di una legge; corsi c. di lingue straniere; giorni c., i 5 giorni (6 negli...
complemento
compleménto s. m. [dal lat. complementum, der. di complere «compiere»]. – 1. Ciò che completa una cosa: l’educazione familiare è c. necessario di quella impartita a scuola; esercizî pratici a c. delle nozioni teoriche. 2. In grammatica,...