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

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

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

La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo Jean-Paul Pier Il Bourbakismo L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] . All'inizio del Novecento si stava preparando una rivoluzione in matematica e si sviluppava una tendenza verso l'assiomatizzazione e la formalizzazione. David Hilbert (1862-1943), la grande figura del momento, riteneva che in un enunciato matematico ... Leggi Tutto

CATEGORIA: ALGEBRA – GEOMETRIA – STORIA DELLA MATEMATICA

Modelli, Teoria dei

Enciclopedia della Scienza e della Tecnica (2007)

Modelli, Teoria dei Silvio Bozzi Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] . Non c'è da stupirsi quindi del ruolo paradigmatico che hanno avuto per la teoria dei modelli le indagini sull'assiomatizzazione della geometria condotte nei primi anni del Novecento da David Hilbert, Giuseppe Peano e Mario Pieri, per limitarci ai ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEOREMA DI COMPATTEZZA – GRUPPO DI AUTOMORFISMI – TEORIA DELLA STABILITÀ – CLASSI D'EQUIVALENZA – GEOMETRIA ALGEBRICA

fondamento

Enciclopedia on line

Filosofia Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità. Critica dei f. Processo iniziato [...] la denominazione di f. della matematica si indica quel capitolo della matematica che si occupa della rigorosa assiomatizzazione delle sue diverse branche, dell’analisi logica dei procedimenti dimostrativi usati ( critica dei f.), dello studio degli ... Leggi Tutto

CATEGORIA: LOGICA – METAFISICA

TAGS: TEORIA DEGLI INSIEMI – MATEMATICA – ONTOLOGICI – ASSIOMI

definizione

Dizionario delle Scienze Fisiche (1996)

definizione definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] con cui vengono formalmente introdotti concetti derivati a partire da quelli che vengono supposti come primitivi: v. assiomatizzazione. ◆ [ALG] [ANM] D. astratta, o per astrazione: operazione consistente nel definire una classe di elementi attraverso ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA