. Aggettivo derivato da assioma (v.); nome assunto da alcuni anni a significare quel ramo delle scienze matematiche, in cui si discute dell'ordinamento dei principî (v. geometria; numero). ...
Leggi Tutto
Zermelo-Fraenkel, teoria di
Zermelo-Fraenkel, teoria disistemadiassiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] sistemadiassiomi è talvolta aggiunto, come ulteriore assioma, indipendente dai precedenti, l’assioma della scelta che permette di estrarre un elemento da ogni elemento di una famiglia di insiemi data, permettendo così di fare infinite scelte e di ...
Leggi Tutto
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi disistemi formali sono [...] le teorie matematiche: si pensi al sistemadiassiomidi → Peano per l’aritmetica o al sistemadiassiomidi Zermelo-Fraenkel per la teoria degli insiemi (→ Zermelo-Fraenkel, teoria di). La nozione disistema formale, come attualmente si intende, è ...
Leggi Tutto
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 sistemadiassiomi 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 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 sistemadiassiomi 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
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 sistemadiassiomidi 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
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...