• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
atlante
il chiasmo
18 risultati
Tutti i risultati [143]
Matematica [18]
Arti visive [21]
Biografie [19]
Archeologia [17]
Biologia [9]
Medicina [7]
Storia della matematica [7]
Storia [4]
Filosofia [6]
Letteratura [5]

LOGICA MATEMATICA

Enciclopedia Italiana - III Appendice (1961)

LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226) Alberto PASQUINELLI Ludovico GEYMONAT MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] philosphy of mathematics, Amsterdam 1951; id., Leçons de logique algébrique, Parigi-Lovanio 1952; A. Fraenkel, Abstract set theory, Amsterdam 1953; L. Henkin, La structure algébrique des théories mathématiques, Parigi 1956; H. Hermes, Entscheidungs ... Leggi Tutto
TAGS: CALCOLO PROPOSIZIONALE – LOGICA INTUIZIONISTICA – SISTEMA ASSIOMATICO – LOGICA POLIVALENTE – CALIFORNIA
Mostra altri risultati Nascondi altri risultati su LOGICA MATEMATICA (9)
Mostra Tutti

scelta

Enciclopedia on line

Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] l’ipotesi del continuo) è compatibile con i rimanenti assiomi delle correnti teorie assiomatiche degli insiemi. Nel 1922 A.A. Fraenkel aveva dimostrato che, sotto certe condizioni, l’assioma di s. è indipendente dai rimanenti assiomi della teoria ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – TEMI GENERALI – ECONOMIA POLITICA
TAGS: ECONOMIA POLITICA – MATEMATICA – ASSIOMI
Mostra altri risultati Nascondi altri risultati su scelta (2)
Mostra Tutti

METAMATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

METAMATEMATICA Alberto Pasquinelli Aldo Marruccelli . Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] cura di M L. Dalla Chiara Scabia), Torino 1973 (cap. VI); A. A. Fraenkel, Y. Bar-Hillel, A. Levy, Foundations of set theory, Amsterdam 19732; A. Marruccelli, Teorie formalizzate e logica matematica, Roma 1975; nonché, con riferimento alle prospettive ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – PRINCIPIO D'INDUZIONE – SISTEMA ASSIOMATICO – ESPERIMENTI MENTALI – GEOMETRIA EUCLIDEA
Mostra altri risultati Nascondi altri risultati su METAMATEMATICA (4)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi Gabriele Lolli La teoria degli insiemi La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] insiemi ben fondati e transitivi, che ispireranno la definizione degli ordinali di von Neumann. L'assioma di rimpiazzamento pareva a Fraenkel un assioma tipico per la teoria dei cardinali, più che per la teoria generale di base: necessario ma anche ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

rimpiazzamento

Dizionario delle Scienze Fisiche (1996)

rimpiazzamento rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Fraenkel, Abraham Adolf Halevi

Enciclopedia on line

Fraenkel, Abraham Adolf Halevi Matematico israeliano di origine tedesca (Monaco 1891 - Gerusalemme 1965). Professore e direttore dell'Istituto matematico a Kiel nel 1928 e professore alla Hebrew University di Gerusalemme dal 1929 al [...] Zermelo non era sufficientemente potente per servire da base a tutte le teorie matematiche; introdusse perciò l'assioma di costituendo così il nuovo sistema assiomatico detto di Zermelo-Fraenkel, che tuttora è il sistema più diffuso per la ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: SISTEMA ASSIOMATICO – GERUSALEMME – MONACO – KIEL
Mostra altri risultati Nascondi altri risultati su Fraenkel, Abraham Adolf Halevi (1)
Mostra Tutti

paradosso

Enciclopedia on line

Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] ». Questo numero reale è definito con 26 parole, quindi deve appartenere a D, dove occuperà un ben determinato posto, diciamo il p-esimo , Fraenkel, Skolem, ➔ insieme. Medicina Si dice di fenomeno o reazione che si svolge in senso opposto a quello ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – TEMI GENERALI – FISICA MATEMATICA – MECCANICA DEI FLUIDI – RELATIVITA E GRAVITAZIONE – PATOLOGIA – PSICHIATRIA – METODI TEORIE E PROVVEDIMENTI – DOTTRINE TEORIE E CONCETTI – LOGICA – METAFISICA
TAGS: INSIEME BENE ORDINATO – RELATIVITÀ RISTRETTA – NUMERO CARDINALE – INSIEME ORDINATO – NUMERO NATURALE
Mostra altri risultati Nascondi altri risultati su paradosso (6)
Mostra Tutti

Bernays, Paul

Enciclopedia on line

Bernays, Paul 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, [...] anche da K. Gödel: è perciò noto come sistema di von Neumann-Bernays-Gödel, per differenziarlo dal sistema di Zermelo-Fraenkel. Gli ultimi contributi di B. concernono lo studio dell'introduzione di schemi di forte infinità in teoria assiomatica degli ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – GOTTINGA – HELSINKI – LONDRA
Mostra altri risultati Nascondi altri risultati su Bernays, Paul (2)
Mostra Tutti

CATEGORIE, Teoria delle

Enciclopedia Italiana - IV Appendice (1978)

Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] definita in C, e infine per ogni A ∈ ∣ D ∣, iA ∈ homD(A, A). Se homD(A, B) = homC(A, B) per ogni coppia 〈A, B> di oggetti di D, allora la teoria degl'insiemi con gli assiomi di Zermelo-Fraenkel, e postulare inoltre l'esistenza di un universo ... Leggi Tutto
TAGS: INSIEME DEI NUMERI NATURALI – ASSIOMI DI ZERMELO-FRAENKEL – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – RELAZIONE D'ORDINE
Mostra altri risultati Nascondi altri risultati su CATEGORIE, Teoria delle (1)
Mostra Tutti

SKOLEM, Thoralf

Enciclopedia Italiana - V Appendice (1994)

SKOLEM, Thoralf Carlo Cattani Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] . In particolare, poiché la teoria degli insiemi di Zermelo-Fraenkel si basa su un sistema di assiomi con cardinalità finita ridurre una formula del linguaggio predicativo con quantificatori a una formula equivalente, in cui i quantificatori si ... Leggi Tutto
TAGS: TEORIA DEGLI INSIEMI – CHRISTIAN MICHELSEN – TEORIA DEI MODELLI – TEORIA DEI NUMERI – LUCE ZODIACALE
Mostra altri risultati Nascondi altri risultati su SKOLEM, Thoralf (4)
Mostra Tutti
1 2
Vocabolario
rimpiazzaménto
rimpiazzamento rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali