Cerca in:
categoricità
Enciclopedia on line
categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, [...] questo ne gode, allora ogni numero naturale gode di quelle proprietà. Un modello del sistema assiomatico a)-e) è un’interpretazione dei termini non definiti «0», «numero naturale ... ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
sistema ipotetico deduttivo
Enciclopedia della Matematica (2013)
ipotetico deduttivo locuzione con cui si indica una determinata modalità di strutturare una teoria scientifica. In un sistema ipotetico deduttivo sono assunti come ipotesi vere [...] predicativo. L’aspetto cruciale che segna una netta distinzione fra i sistemi assiomatici moderni e la concezione aristotelica risiede nella distinzione fra correttezza formale e ... ...
Leggi Tutto
Fraenkel, Abraham Adolf Halevi
Enciclopedia on line
Fraenkel ‹frèṅkël›, Abraham Adolf Halevi. - Matematico israeliano di origine tedesca (Monaco 1891 - [...] uno dei fondatori della Israel academy of sciences and humanities. Scoprì che il sistema assiomatico di E. Zermelo non era sufficientemente potente per servire da base a tutte ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
LOGICA MATEMATICA
Enciclopedia Italiana - III Appendice (1961)
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226). - Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e da particolari [...] (d'inferenza e di sostituzione) per la derivazione dei teoremi dagli assiomi. Un sistema assiomatico o calcolo del genere (la cui interpretazione deve esser resa esplicita con ...
Leggi Tutto
Bernays, Paul
Enciclopedia on line
Bernays, Paul. - Logico e matematico svizzero (Londra [...] è 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
Hilbert
Enciclopedia della Matematica (2017)
Hilbert David (Königsberg, Prussia Orientale, oggi Kaliningrad, Russia, 1862 - Göttingen, Bassa Sassonia, 1943) matematico tedesco. La sua opera ha segnato emblematicamente per la matematica [...] ottocentesca del metodo assiomatico (→ Hilbert, assiomi di). Con lui, la geometria diventa la scienza delle conseguenze puramente logiche deducibili da un sistema di assiomi o ...
Leggi Tutto
Probabilita
Enciclopedia del Novecento (1980)
Probabilità *La voce enciclopedica Probabilità è stata ripubblicata da Treccani [...] come concetto di base. A. Rényi è stato il primo a formalizzare un sistema assiomatico in cui la probabilità condizionata viene assunta come concetto primario. Uno ‛spazio di ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA
di Luigi Borzacchini
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che [...] altro consolidare la sua discussa dimostrazione del principio del buon ordinamento. Il sistema assiomatico di Zermelo verrà perfezionato da Abraham Adolf Halevi Fraenkel (1891-1965 ...
Leggi Tutto
Hilbert, problemi di
Enciclopedia della Matematica (2017)
Hilbert, problemi di lista di problemi (23 in tutto), all’epoca irrisolti, esposti in parte da D. Hilbert nel 1900, in occasione del secondo Congresso internazionale dei matematici a Parigi, [...] della fisica in cui la matematica gioca un ruolo importante ricevessero una sistemazione assiomatica rigorosa, quale per esempio aveva ricevuto la geometria, anche grazie al suo ...
Leggi Tutto
La formazione del cittadino: mousike e paideia
Storia della civiltà europea a cura di Umberto Eco (2014)
Il contributo è tratto da Storia [...] dell’armonica come scienza epistemologicamente autonoma, dotata di un proprio sistema assiomatico. Inoltre un pensiero antagonista rispetto alla koine platonico-damoniana, che ...
Leggi Tutto