probabilità
Enciclopedia on line
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] e tutte le altre ne discendono. Esiste più di un sistema di assiomi per la p. e ciascuno di questi sistemi conduce a un modello matematico diverso. Gli assiomi che definiscono i vari modelli probabilistici si suddividono nelle categorie seguenti ...
Leggi Tutto
spazio
Enciclopedia on line
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] Riemann lo s. è una struttura tridimensionale, ma il sistema di assiomi della sua geometria non è dato a priori. Riuscendo a scoprire altri tipi di s. prima non previsti, il metodo analitico di Riemann si è mostrato più fecondo dei metodi sintetici ...
Leggi Tutto
CATEGORIA:
CORPI CELESTI
–
COSMOLOGIA
–
DISCIPLINE STRUMENTI E TECNICHE DI RICERCA
–
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
GEOGRAFIA FISICA
–
GEOMETRIA
–
DISCIPLINE
–
DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
POLITOLOGIA
–
TRASPORTI AEREI
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] ottenute implicano le stesse conseguenze osservative del sistema di assiomi di partenza. Delineò anche una teoria delle probabilità di tipo «soggettivistico», intesa a fornire una misura del grado di «credenza parziale». Si interessò anche al calcolo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ALGEBRA
Enciclopedia Italiana - III Appendice (1961)
Gli sviluppi dell'algebra generale, o astratta, che ormai può denominarsi a. senz'altro (il termine "a. moderna" tende a cadere in disuso), sono stati così vasti e varî negli ultimi anni da far parlare [...] costruite mediante le fα, siano identicamente soddisfatte in A, si dirà che A verifica il sistema di assiomi (Σ). L'estrema generalità di questa definizione la rende non utilizzabile per ricerche costruttive, ma quanto mai adeguata per riassumere in ...
Leggi Tutto
GRUPPO
Enciclopedia Italiana - II Appendice (1948)
GRUPPO (XVII, p. 1012)
Ugo AMALDI
Nell'ultimo quindicennio le teorie classiche dei gruppi hanno ricevuto scarsi apporti di risultati generali. Fra questi, nel campo dei gruppi continui, spetta un rilievo [...] posto ben determinato in una vasta classificazione dei varî tipi possibili di insiemi di elementi astratti; e ciascuno di questi tipi è stato caratterizzato mediante un sistema di assiomi, che ne definiscono la struttura, in guisa che, nel caso dei ...
Leggi Tutto
SKOLEM, Thoralf
Enciclopedia Italiana - V Appendice (1994)
SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] , con una relativizzazione della nozione d'insieme. In particolare, poiché la teoria degli insiemi di Zermelo-Fraenkel si basa su un sistema di assiomi con cardinalità finita ed è soddisfacibile in un dominio, allora è soddisfacibile in un dominio ...
Leggi Tutto
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] classi di algebre o sistemi relazionali in termini della loro definibilità, sottolineando i rapporti tra proprietà di chiusura rispetto a relazioni e operazioni su strutture e forma sintattica dei possibili assiomi. Parallelamente, prenderà forma il ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] programma verifica la proprietà P, allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input e output ...
Leggi Tutto
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 [...] Più precisamente, ci si pose l'obiettivo della formulazione di un sistema di assiomi che, eventualmente prescindendo da qualunque significato sostanziale della probabilità, consentisse di accreditare il calcolo delle probabilità (CdP) come disciplina ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA