rappresentazione
Enciclopedia della Matematica (2013)
rappresentazione
rappresentazione termine che indica genericamente la presentazione sotto una determinata forma di un oggetto, una procedura o una struttura matematica (→ algoritmo, rappresentazione [...] la rappresentazione conforme, che conserva gli angoli, e la rappresentazione equivalente, che conserva le aree. Nella teoria degli insiemi, un insieme può essere rappresentato tramite un diagramma di → Eulero-Venn. In algebra e in analisi, si può ...
Leggi Tutto
realismo
Enciclopedia della Matematica (2013)
realismo
realismo nell’ambito della matematica, concezione secondo la quale gli oggetti della matematica hanno una realtà propria, indipendente dal soggetto che li studia. Già per gli antichi greci i [...] esempio, l’ipotesi del → continuo può avere un valore di verità che, nell’ambito della teoria degli insiemi attualmente accettata (zfc, in → Zermelo-Fraenkel, teoria di), è per noi non ancora conosciuto o inconoscibile; per gli altri, possono esserci ...
Leggi Tutto
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