Ackermann, Wilhelm
Enciclopedia on line
Logico matematico (Schönebecke, Altena, 1896 - Lüdenscheid 1962). Prof. all'università di Münster (dal 1953), membro dell'Accademia delle Scienze di Gottinga. Prima allievo poi collaboratore di D. Hilbert, [...] , 4a ed. 1958). Del 1940 è la sua celebre dimostrazione della coerenza dell'aritmetica, in cui introdusse anche il concetto di "ricursione transfinita". Nel 1951 dette una versione costruttiva di un segmento della seconda classe di Cantor, e nel 1952 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
L'Età dei Lumi: matematica. Lo sviluppo della teoria della probabilità e della statistica
Storia della Scienza (2002)
L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica
Oscar Sheynin
Lo sviluppo della teoria della probabilità e della statistica
I primi sviluppi del calcolo delle [...] alla legge seguente:
dove q=1−p. Si noti che np=Eμ e npq=Dμ, ossia il valore atteso e la varianza di μ, concetto questo dovuto essenzialmente a Carl Friedrich Gauss (1777-1855). La convergenza prevista dalla [4] è uniforme rispetto a z1 e a z2, ma ...
Leggi Tutto
Noether, Emmy
Enciclopedia on line
Matematica (Erlangen 1882 - Bryn Mawr, Pennsylvania, 1935), figlia di Max. Dal 1922 insegnò all'univ. di Gottinga; nel 1933 emigrò negli USA, dove insegnò al Bryn Mawr College. Studiò questioni di algebra [...] astratta (teoria degli ideali, rappresentazioni di sistemi ipercomplessi, ecc.), secondo la tendenza "assiomatica", astratta, della moderna algebra. Si deve in gran parte a lei il moderno concetto di punto generale della geometria algebrica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
funzioni
Enciclopedia dei ragazzi (2005)
funzioni
Luca Dell'Aglio
Come mettere le grandezze in relazione tra loro
Una funzione matematica è un modo comodo e valido in generale per rappresentare la dipendenza di una certa grandezza dalle altre: [...] caso dell'evoluzione di una popolazione è un esempio di ciò che in matematica va sotto il nome di funzione, uno dei concetti più importanti della scienza moderna.
Si ha in generale una funzione quando si stabilisce un legame di dipendenza tra diverse ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
esponente
Enciclopedia on line
Nella matematica elementare, e. di una potenza è il numero di fattori uguali tra loro, il cui prodotto esprime il valore della potenza. È scritto accanto alla base della potenza in alto a destra: 53; [...] (0,12)8, dove 3 e 8 sono gli e., 5 e 0,12 le basi. Quando si estende il concetto di potenza, l’e. può diventare un intero negativo o nullo, una frazione, e infine un numero, reale o complesso, una funzione ecc. (➔ potenza).
È detta equazione ...
Leggi Tutto
CATEGORIA:
ALGEBRA
postulazione
Enciclopedia on line
In matematica, il numero P delle condizioni lineari indipendenti che si vengono a imporre a una superficie algebrica di ordine m allorché si richiede che essa contenga una data curva algebrica; se questa [...] p e se l’ordine della superficie è sufficientemente alto, tale numero è dato da: P=mn−p+1. Il concetto si estende alle ipersuperfici algebriche di un dato iperspazio, che debbano contenere un’assegnata varietà di dimensione inferiore. Formula di p ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Auslander, Maurice
Enciclopedia on line
Matematico statunitense (New York 1926 - Trondheim 1994), prof. alla Brandeis University (dal 1957). Ha dato fondamentali contributi all'algebra, e in partic. all'algebra omologica e all'algebra associativa [...] algebre su anelli commutativi, A. e O. Goldman (1960) hanno generalizzato la nozione di separabilità partendo dal concetto di modulo proiettivo, consentendo l'estensione della teoria di Galois agli anelli commutativi, nel caso di anelli intermedi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
comprensione
Dizionario delle Scienze Fisiche (1996)
comprensione
comprensióne [Der. del lat. comprehensio -onis, "il considerare insieme", dal part. pass. comprehensus di comprehendere, comp. di cum "insieme" e prehendere "prendere"] [LSF] L'atto e la [...] per es. con il signif. di dare la spiegazione di un fenomeno. ◆ [ALG] [FAF] L'insieme degli elementi che individuano un concetto, cioè il complesso delle sue determinazioni; è l'inverso dell'estensione. ◆ [FAF] Assioma, o principio, di c: afferma la ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Storia della Scienza (2002)
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] di un progetto intorno al quale si svilupperà gran parte della sua futura ricerca logica e filosofica: dato un qualsiasi concetto complesso, lo si analizzi nei suoi componenti e si ripeta il procedimento fino a che non si raggiungano gli elementi ...
Leggi Tutto
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 [...] u verifica α)
w ⊨ ◇α se esiste u tale che wRu e u ⊨ α.
È la presenza della relazione R che rende versatile il concetto di modello modale: la possibilità di selezionare i punti accessibili da un dato punto w vincola la verità degli enunciati in w alle ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA