ASSIOMATICA

Enciclopedia Italiana (1930)

. 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

microcausalita

Dizionario delle Scienze Fisiche (1996)

microcausalita microcausalità [Comp. di micro- e causalità] [FAF] Uno degli assiomi dell'assiomatizzazione della teoria quantistica dei campi: v. assiomatizzazione: I 182 f. ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

assiomàtico

Dizionario delle Scienze Fisiche (1996)

assiomatico assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logica matematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

fondamento

Dizionario delle Scienze Fisiche (1996)

fondamento fondaménto [Der. del lat. fundamentum, da fundare "fondare"] [ALG] [ANM] Fondamenti della matematica: denomin. di quel capitolo della matematica che s'occupa dell'assiomatizzazione rigorosa [...] delle sue diverse branche, dell'analisi logica dei procedimenti dimostrativi usati (critica dei f.), della concatenazione fra le varie branche: v. logica: III 482 e ... Leggi Tutto

CATEGORIA: ALGEBRA – ANALISI MATEMATICA

Caratheodory

Enciclopedia della Matematica (2013)

Caratheodory Carathéodory Constantin (Berlino 1873 - Monaco di Baviera 1950) matematico tedesco. Ha dato importanti contributi alla teoria delle funzioni reali, al calcolo delle variazioni, alla teoria [...] della misura e della integrazione. Formulò anche una assiomatizzazione della termodinamica. Cosmopolita per nascita e famiglia (turca d’origine greca), visse e lavorò in molti paesi: Grecia, Germania, Belgio, Italia, Egitto (sulla cui storia e ... Leggi Tutto

TAGS: CALCOLO DELLE VARIAZIONI – TEORIA DELLA MISURA – MONACO DI BAVIERA – TERMODINAMICA – MATEMATICA

geometria

Enciclopedia on line

In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali. Cenni storiciL’antichità - L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] spazio e delle curve e superfici, e in particolare la teoria delle quadriche e delle superfici rigate. G. combinatoria Assiomatizzazione della teoria delle matroidi (➔). G. del compasso Va sotto questo nome lo studio dei problemi e delle costruzioni ... Leggi Tutto

CATEGORIA: GEOMETRIA

TAGS: OPERAZIONI DI PROIEZIONE E SEZIONE – TEORIA QUANTISTICA DEI CAMPI – TEORIA DELLE SUPERSTRINGHE – POSTULATO DELLE PARALLELE – METODO DELL’ASSONOMETRIA

deduzione

Enciclopedia della Matematica (2013)

deduzione deduzione in logica, termine indicante il rapporto di derivazione che in un ragionamento lega la conclusione alle premesse. Poiché la deduzione ha carattere formale, prescinde cioè dal contenuto [...] di Gödel, portò a sottoporre la nozione di deduzione, così come era stata assunta da D. Hilbert nella sua assiomatizzazione della geometria, a differenti analisi. In particolare G. Gentzen, che di Hilbert fu allievo, introdusse i cosiddetti sistemi ... Leggi Tutto

TAGS: REGOLE DI INFERENZA – LINGUAGGIO FORMALE – CONSEGUENZA LOGICA – INSIEME ORDINATO – SISTEMA FORMALE

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

STORIA DELLA MATEMATICA Luigi Borzacchini STORIA DELLA MATEMATICA Il tempo della scienza senza tempo La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] (1843- 1930) negli ultimi decenni del secolo. In Pasch si trova un embrionale formalismo e una prima forma di assiomatizzazione di una geometria in cui le definizioni dei concetti di base scompaiono perché appaiono ovvie sulla base dell’esperienza ... Leggi Tutto

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

Bernštejn, Sergej Natanovič

Enciclopedia on line

Matematico (Odessa 1880 - Mosca 1968); studiò a Parigi e a Gottinga; prof. all'univ. di Char´kov (dal 1917). I lavori del B. concernono le equazioni differenziali, l'approssimazione delle funzioni mediante [...] polinomî, il calcolo delle probabilità. Il B. è tra coloro che hanno tentato (1917) una completa assiomatizzazione del calcolo delle probabilità, cioè una sua costruzione puramente logico-formale, indipendente dal significato concreto di probabilità. ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CALCOLO DELLE PROBABILITÀ – EQUAZIONI DIFFERENZIALI – CHAR´KOV – GOTTINGA – POLINOMÎ

Bernays, Paul

Enciclopedia on line

Logico e matematico svizzero (Londra 1888 - Zurigo 1977), dal 1922 prof. all'univ. di Gottinga, insegnò poi a Helsinki e Zurigo; condirettore della rivista Dialectica. Allievo e collaboratore di D. Hilbert, [...] fu con lui autore delle Grundlagen der Mathematik (1934-39). Al suo nome è legata una notissima assiomatizzazione della teoria degli insiemi (Axiomatic Set Theory, 1958). Il sistema assiomatico di B., che sviluppa quello di J. L. von Neumann, è stato ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – GOTTINGA – HELSINKI – LONDRA