chiusura
Enciclopedia on line
Linguistica
In fonetica, restringimento o occlusione del condotto vocale che si determina durante l’articolazione di un suono chiuso.
C. di un dittongo Processo detto anche monottongazione, per il quale [...] termine si indica anche l’operazione che fa passare da X a X̄. Le proprietà della c. possono anche venire assunte ad assiomi di definizione di uno spazio topologico. Il termine c. si adopera, anche in altri campi, con una opportuna specificazione ( c ...
Leggi Tutto
spazio proiettivo
Enciclopedia della Scienza e della Tecnica (2008)
spazio proiettivo
Luca Tomassini
Dati due insiemi P,Q e una relazione R⊂P×Q, consideriamo la tripla C={P,Q,R} e chiamiamo ogni elemento di P un punto e ogni elemento di Q una linea. Se (p,l)∈R è valida [...] e q1,q2 si intersecano in un punto p; (c) ogni linea contiene almeno tre punti distinti. Una tripla C che soddisfi gli assiomi (a) e (b) è detta geometria proiettiva generalizzata, se anche (c) è verificato si parla allora di geometria proiettiva. L ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
sintassi
Enciclopedia della Scienza e della Tecnica (2008)
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] formazione per la costruzione di date classi di espressioni (termini, formule ecc.) e infine assiomi e regole di trasformazione. Assiomi e regole di trasformazione definiscono un calcolo che attraverso successive applicazioni fornisce i teoremi del ...
Leggi Tutto
CATEGORIA:
LOGICA
condizionamento
Dizionario delle Scienze Fisiche (1996)
condizionamento
condizionaménto [Der. di condizione "atto ed effetto del condizionare"] [PRB] C. classico e quantistico: v. probabilità quantistica: IV 596 d. ◆ [FTC] C. dell'aria (calco approssimativo [...] in una elaborazione analogica delle informazioni fornite dal sensore per adattarle alle esigenze dei dispositivi a valle o per migliorarne le caratteristiche di risposta: v. sensore: V 175 a. ◆ [PRB] Assiomi di c.: v. probabilità classica: IV 580 e. ...
Leggi Tutto
Euclide
Enciclopedia on line
Matematico greco, autore di numerosi trattati, operò attorno al 300 a. C. nella colonia di Alessandria, allora di recente fondazione. E. è particolarmente noto per un'opera, gli Elementi (v.), contenente [...] primi principî e dal rigore della successiva deduzione, viene garantita la verità certa di tutta la matematica. Dei cinque assiomi (così come delle numerose definizioni) proposti da E., uno (il quinto, che tratta dell'intersezione tra un segmento e ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
sistema
Enciclopedia on line
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è costituito da: a) un insieme di definizione dei segni base e delle espressioni; b) un insieme di premesse (dette assiomi o postulati); c) un insieme di regole di inferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di ...
Leggi Tutto
CATEGORIA:
ANATOMIA MORFOLOGIA CITOLOGIA
–
SISTEMATICA E FITONIMI
–
TEMI GENERALI
–
CHIMICA FISICA
–
CHIMICA INORGANICA
–
FISICA MATEMATICA
–
METROLOGIA
–
OTTICA
–
ALGEBRA
–
ANATOMIA
–
ORGANISMI E ORGANIZZAZIONI INTERNAZIONALI
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
MONETAZIONE
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
SCIENZE DELLA FORMAZIONE
–
SOCIOLOGIA
–
POLITOLOGIA
–
MECCANICA APPLICATA
La seconda rivoluzione scientifica: matematica e logica. La probabilità
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] e nel 1931, egli cercò di conciliare le esigenze del punto di vista empirico con quelle del rigore matematico, fissando due assiomi in base ai quali oggetto del CdP sono le successioni di prove, dette Kollektiv, che soddisfano le seguenti proprietà ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] α ('se α è necessario allora α è vero); il calcolo S4 (Lewis e Langford 1932), ottenibile aggiungendo a T l'assioma □α→□□α ('se α è necessario allora α è necessariamente necessario'; tale proprietà, con la precedente, comporta che ogni iterazione di ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] dà l'occasione di verificare più da vicino le ragioni per assumere le diverse regole strutturali. La regola di scambio equivale a un assioma del tipo A B →B A e quindi a una sorta di commutatività certo discutibile (si pensi a una lettura di → come ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] assiomatici; fra l'altro, un'assiomatizzazione del calcolo proposizionale, usando tre soli assiomi. Elaborò inoltre una prova di non contraddittorietà dei sistemi di assiomi logici e un metodo di prova dell'indipendenza e della completezza. Costruì ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE