barra
Dizionario delle Scienze Fisiche (1996)
barra
barra [Etimo incerto] [LSF] Denomin. generica di strutture parallelepipoidi relativ. lunghe e di non grande sezione. ◆ [ALG] [ANM] Lineetta, orizzontale od obliqua, che indica una divisione; sovrapposta [...] sul simbolo di un'operazione, anche logica, indica "non", cioè la negazione dell'operazione indicata: per es., ≠ significa "non uguale" e A⊄B significa "A non contiene B". ◆ [ASF] Struttura ellissoidica che è spesso presente nelle galassie ...
Leggi Tutto
decisione
Dizionario delle Scienze Fisiche (1996)
decisione
decisióne [Der. del lat. decisio -onis, dal part. pass. decisus di decidere "tagliar via, metter fine", comp. di de- e caedere "tagliare", e quindi "espressione di una volontà"] [ALG] [FAF] [...] Problema di d.: nella logica matematica, la ricerca di un procedimento effettivo (cioè concretabile in un numero finito di passi e applicabile a tutti i problemi dello stesso tipo) che consenta di stabilire se una certa proprietà o relazione convenga ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
Macfarlane, Alexander
Enciclopedia on line
Matematico inglese (n. 1851 - m. Chatham, Ontario, 1913). Lettore di matematica e fisica (dal 1895) nell'univ. Lehigh di Bethlehem, Pennsylvania, visse poi a Chatham; sviluppò le ricerche di G. Boole sull'algebra [...] delle classi ("algebra della logica"), studiò i quaternioni e altri sistemi algebrici, scrisse sulla storia delle matematiche inglesi. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zorn, Max
Enciclopedia on line
Matematico statunitense di origine tedesca (n. 1906 - m. Bloomington, Indiana, 1993). Prof. all'Indiana University (dal 1946), ha dato importanti contributi all'algebra, nella teoria degli insiemi e alla [...] topologia; a lui si deve un enunciato di logica matematica (lemma di Z.) equivalente all'assioma delle scelte. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
teoria
Dizionario delle Scienze Fisiche (1996)
teoria
teorìa [Der. del lat. theoria, dal gr. theoría] [FAF] Formulazione e definizione dei principi generali di una scienza o di parte di essa, e anche insieme degli sviluppi che da questi principi [...] esplicativa, fenomenologica, incompatibile e inconfrontabile: v. teoria: VI 132 e, 133 b, 136 b. ◆ [ALG] [MCS] T. formalizzata: v. logica: III 485 e. ◆ [MCC] T. infinitesima della deformazione: v. elasticità, teoria dell': II 252 b. ◆ [ANM] T. K non ...
Leggi Tutto
atòmico
Dizionario delle Scienze Fisiche (1996)
atomico
atòmico [agg. Der. di atomo] [EMG] Batteria a.: batteria di celle fotovoltaiche eccitate dalla radiazione di un isotopo radioattivo beta, di solito 90Sr: v. fotovoltaico, effetto: II 752 f. ◆ [...] [ALG] [FAF] Enunciato a.: nella logica matematica, enunciato non riducibile a enunciati più semplici, come, per es., "il triangolo è una figura geometrica". ◆ [STF] [CHF] Ipotesi a.: v. molecola: IV 87 d. ◆ [FAT] Massa a.: la massa di un atomo, ...
Leggi Tutto
CATEGORIA:
ELETTROLOGIA
–
FISICA ATOMICA E MOLECOLARE
–
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
METROLOGIA
–
STORIA DELLA FISICA
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
rimpiazzamento
Dizionario delle Scienze Fisiche (1996)
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ...
Leggi Tutto
implicazione
Enciclopedia on line
Geologia
In petrografia, si chiama struttura di i. quella di una roccia caratterizzata da interpenetrazione di due minerali prevalenti, in modo che un fascio di individui dell’uno, disposti più o meno [...] vera B; si indica con i simboli →, ⇒. Un esempio è il seguente: x=3 → x2−7x+12=0. L’i. è uno dei connettivi logico-proposizionali. A essa è associata la funzione di verità binaria, che assume valore ‘falso’ quando l’antecedente (ossia A) è vero e il ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] della verità (assoluta) della geometria euclidea, che all'inizio del secolo si era posto per primo Gauss e che un grande logico come Gottlob Frege (1848-1925) ancora agita contro le nuove teorie geometriche (Tav. I), passa in secondo piano rispetto a ...
Leggi Tutto
Skolem, Thoralf
Enciclopedia on line
Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun [...] insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre (1923); Ein ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE