quantificatore
Dizionario delle Scienze Fisiche (1996)
quantificatore
quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] quelli rappresentati dalla variabile, godono di una certa proprietà, di solito indicata da un predicato; precis.: (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia, ogni"; (b) q. esistenziale ...
Leggi Tutto
tre
Enciclopedia on line
tre Numero formato da tre unità, il terzo della serie naturale dei numeri, successivo al due (in cifre arabe 3, nella numerazione romana III).
Il tre è uno dei più importanti e diffusi numeri sacri, che [...] nelle religioni politeistiche spesso porta alla formazione di triadi divine. Sull’origine di tale carattere sono state formulate varie ipotesi, ma nessuna appare di validità universale. ...
Leggi Tutto
Torricèlli, Evangelista
Enciclopedia on line
Fisico e matematico (Faenza o Modigliana 1608 - Firenze 1647). Succeduto a G. Galilei nell'incarico di matematico e filosofo del granduca di Toscana (1641), dimostrò la possibilità del vuoto in natura, [...] infinito e l'infinitesimo attuale e pervenne a concepire i punti all'infinito di una curva. Il suo "teorema universale", consente di determinare, nel modo più generale possibile, il baricentro di qualunque figura mediante il rapporto di due integrali ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Storia della Scienza (2001)
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] più noto è posto per primo"), come, per esempio, le cause nei riguardi dei loro effetti, o il generale e l'universale nei confronti del particolare o del singolare. E, senza dubbio, poteva essere inteso e seguito con facilità da qualsiasi mente umana ...
Leggi Tutto
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] , per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale e universale) necessarî per la loro definizione, gerarchia che estese poi al transfinito (gerarchia aritmetica) e infine alle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] in due direzioni tra loro comunicanti ma con obiettivi diversi. Da una parte si rafforzeranno i contatti con l’algebra universale e lo studio si concentrerà sulla classificazione dei diversi tipi di classi di algebre o sistemi relazionali in termini ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Scienza indiana. La scienza nella cultura indiana
Storia della Scienza (2001)
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] latino parlavano anche diverse altre lingue; da questo punto di vista, l'arabo e il latino, pur non essendo lingue universali, erano quindi più cosmopolite del cinese, del sanscrito o del greco.
Le cinque lingue classiche, soprattutto nei casi in cui ...
Leggi Tutto
compasso
Dizionario delle Scienze Fisiche (1996)
compasso
compasso [s.m. Der. del lat. compassare "misurare con il passo"] [ALG] Strumento costituito da due asticelle articolate a cerniera a un'estremità, in modo da formare tra loro un angolo variabile [...] e archi di circonferenza, tracciare circonferenze: c. a punte fisse (fig. 1), con entrambe le asticelle terminanti a punta; c. universale, o a punta amovibile (fig. 2), con una delle punte sostituibile da un portamine o da un tiralinee (o a cui ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
FISICA TECNICA
–
TEMI GENERALI
–
ALGEBRA
–
STATISTICA E CALCOLO DELLE PROBABILITA
schiacciamento
Dizionario delle Scienze Fisiche (1996)
schiacciamento
schiacciaménto [Der. di schiacciare, voce di probabile origine onomatopeica] [ALG] Per un'ellisse o un ellissoide di rivoluzione, il rapporto (a-b)/a, con a semiasse maggiore e b semiasse [...] rotazionale ed energia di legame gravitazionale, cioè ω2R3/(GM), con ω velocità di rotazione, R raggio, G costante di gravitazione universale e M massa. ◆ [FTC] [MCC] Prova di s.: prova di compressione a cui sono sottoposti spec. i materiali per ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] di tali risultati, egli mostrerà importanti legami tra l'omologia e l'omotopia di uno spazio e del suo rivestimento universale e, due anni dopo, sarà in grado di calcolare molti gruppi di omotopia delle sfere. Serre sarà insignito della medaglia ...
Leggi Tutto