Neumann-Bernays-Godel, teoria di
Enciclopedia della Matematica (2013)
Neumann-Bernays-Godel, teoria di
Neumann-Bernays-Gödel, teoria di o teoria NBG, sistema di assiomi per la teoria degli insiemi che si affianca a un’altra sistemazione assiomatica, la teoria di → Zermelo-Fraenkel [...] non appartengono a sé stessi, che B. Russell aveva dimostrato provocare una contraddizione nella teoria degli insiemi, è una classe propria (→ Russell, antinomia di);
• NBG1 (assioma di estensionalità): due classi uguali hanno le medesime proprietà ...
Leggi Tutto
coerenza
Enciclopedia della Matematica (2013)
coerenza
coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] di comprensione ed è alla base di una contraddizione nella teoria degli insiemi: l’antinomia di → Russell. Questa contraddizione viene superata nelle teorie assiomatiche degli insiemi, come per esempio in quella formalizzata dagli assiomi di Zermelo ...
Leggi Tutto
notazione
Dizionario delle Scienze Fisiche (1996)
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] convenzionali o comunque non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte ...
Leggi Tutto
CATEGORIA:
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Luzin
Enciclopedia della Matematica (2013)
Luzin
Luzin Nikolaj Nikolaevič (trascritto anche come Lusin, Irkutsk 1883 - Mosca 1950) matematico russo, noto per aver elaborato una teoria descrittiva degli insiemi, per alcuni notevoli risultati in [...] Venti del xx secolo, denominatosi in suo onore Lusitania, che adottò un orientamento favorevole all’applicazione della teoria degli insiemi anche in altre aree della matematica. Luzin conseguì il dottorato all’università di Mosca nel 1915 con una ...
Leggi Tutto
Bernstein
Enciclopedia della Matematica (2013)
Bernstein
Bernstein Felix (Halle, Sassonia-Anhalt, 1878 - Zurigo 1956) matematico tedesco. Ha dato significativi contributi alla teoria degli insiemi, all’analisi, alla statistica e alla genetica. Essendo [...] e, nel 1934, emigrò negli Stati Uniti. Bernstein è noto principalmente per un fondamentale teorema sull’equipotenza di insiemi, che assicura che la relazione di cardinalità è un ordinamento per i numeri transfiniti, noto come teorema di → Cantor ...
Leggi Tutto
Bolzano
Enciclopedia della Matematica (2013)
Bolzano
Bolzano Bernhard (Praga 1781 - 1848) matematico e filosofo boemo. Fu sacerdote e insegnò scienza della religione all’università di Praga, ma il suo nome è legato agli studi sui fondamenti della [...] la logica moderna. Nei Paradoxien des Unendlichen (Paradossi dell’infinito, postumi, 1851), anticipò temi e problemi della teoria degli insiemi infiniti di G. Cantor, come per esempio il concetto di isomorfismo, osservando altresì la possibilità di ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di Varsavia, ha insegnato nella univ. di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] (Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e di teoria della relatività. Tra i suoi scritti si ricordano: Über formal unentscheidbare Sätze der "Principia mathematica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Peirce, Charles Sanders
Enciclopedia on line
Filosofo statunitense (Cambridge, Massachusetts, 1839 - Milford, Pennsylvania, 1914). Nella sua opera più nota, l'articolo How to make our ideas clear, pubblicato nel Popular Science Monthly del gennaio [...] misura standard. Si occupò anche di matematica, in special modo dei problemi dei fondamenti, di algebra lineare, di teoria degli insiemi, di aritmetica transfinita e di topologia. I suoi scritti filosofici trattano di una grande varietà di temi e di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] da Gödel e da P. Cohen. Nel 1940 Gödel dimostrò la non contraddittorietà, relativamente agli altri assiomi della teoria degli insiemi, dell’assioma zermeliano della scelta e dell’ipotesi cantoriana del continuo; questa, nel caso più semplice, afferma ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA