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
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
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
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
metodo
mètodo [Der. del lat. methodus, dal gr. méthodos "la via della ricerca"] [LSF] Ogni procedimento volto alla conoscenza e alla sistematizzazione di ciò che via via si acquisisce, in base a criteri [...] concetti e proposizioni primitive da cui altri concetti e proposizioni possono essere ricavati come teoremi mediante dimostrazioni: v. assiomatizzazione: I 180 e. ◆ [FAF] [ALG] [ANM] M. costruttivo: quello che non soltanto individua la possibilità di ...
Leggi Tutto
trasformazione
trasformazióne [Der. del lat. transformatio -onis, dal part. part. transformatus di transformare "cambiare la forma", comp. di trans- "trans-" e formare "dare forma"] [LSF] (a) Qualsiasi [...] classici criteri di uguaglianza, ma di mostrare che i due triangoli si corrispondono in una simmetria o in una traslazione). ◆ [ALG] Gruppo di t.: ogni insieme di t. che formino un gruppo. ◆ [FAF] Legge di t. dei campi: v. assiomatizzazione: I 182 f. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] per i gruppi); vedremo un'esempio nel caso delle algebre di Kac-Moody.
Il punto di vista categorico è un'assiomatizzazione del metodo esposto: si definisce in generale categoria una classe di elementi detti oggetti, dotata per ogni coppia a,b ...
Leggi Tutto
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] , al limite per ε↓0, le disuguaglianze [4] e [5]. La definizione di soluzione di viscosità altro non è che un'assiomatizzazione di queste relazioni. Una funzione u, continua su Ω, è detta sottosoluzione di viscosità di [1] se - per ogni funzione test ...
Leggi Tutto
assiomatizzazione
assiomatiżżazióne s. f. [der. di assiomatizzare]. – Formulazione in termini assiomatici; a. di una teoria, formulazione di alcune proprietà della teoria dalle quali tutte le altre possono essere dedotte.
assiomatizzare
assiomatiżżare v. tr. [der. di assiomatico]. – Introdurre una trattazione assiomatica (in un dato campo delle matematiche e in altre scienze): a. la geometria, ecc.