• 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
32 risultati
Tutti i risultati [32]
Matematica [18]
Filosofia [7]
Logica matematica [5]
Algebra [6]
Storia della matematica [5]
Fisica [4]
Metafisica [3]
Epistemologia [3]
Fisica matematica [3]
Metodi teorie e provvedimenti [2]

Skolem, Thoralf

Enciclopedia on line

Skolem, Thoralf Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: TEORIA DEI NUMERI – NUMERABILE – ASSIOMI – OSLO
Mostra altri risultati Nascondi altri risultati su Skolem, Thoralf (4)
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. [...] , perché l’unico che può svegliare altri è lui stesso. Per il p. di Cantor ➔ Cantor, Georg; per quello di Skolem ➔ Skolem, Thoralf. Classificazione dei p. e soluzione dei p. linguistici E.W. Beth ha distinto dai p. gli pseudoparadossi come 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

Skolem, teorema di

Enciclopedia della Matematica (2013)

Skolem, teorema di Skolem, teorema di → Löwenheim-Skolem, teorema di. ... Leggi Tutto

Lowenheim-Skolem, teorema di

Enciclopedia della Matematica (2013)

Lowenheim-Skolem, teorema di Löwenheim-Skolem, teorema di riportato anche come teorema di Skolem (dal nome, oltre che di L.L. Löwenheim, anche del logico e matematico norvegese T.A. Skolem) afferma che [...] di un modello numerabile per una teoria che asserisce l’esistenza di un insieme più che numerabile (paradosso di Skolem). Secondo Skolem, il paradosso scompare quando si consideri la cardinalità come relativa a un sistema di assiomi: per una data ... Leggi Tutto
TAGS: TEORIA DEGLI INSIEMI – INSIEME INFINITO – CARDINALITÀ – NUMERABILE – ASSIOMI

Lowenheim

Enciclopedia della Matematica (2013)

Lowenheim Löwenheim Leopold (Krefeld, Renania Settentrionale-Vestfalia, 1878 - Berlino 1957) matematico tedesco. È noto soprattutto per i suoi lavori di logica matematica; a lui si deve la prima dimostrazione [...] (nel 1915) del teorema oggi conosciuto come teorema di Löwenheim-Skolem, di fondamentale importanza per la teoria dei modelli in logica. Studiò matematica e scienze naturali alla università Friedrich-Wilhelm di Berlino e, contemporaneamente, alla ... Leggi Tutto
TAGS: RENANIA SETTENTRIONALE-VESTFALIA – TEOREMA DI LÖWENHEIM-SKOLEM – TEORIA DEGLI INSIEMI – TEORIA DEI MODELLI – LOGICA MATEMATICA

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 [...] teoria degli insiemi e di V=L. L'insieme a non appartiene a M, ma è contenuto in M (il problema di Skolem di aggiungere a un modello un insieme che non vi appartenga). La tecnica di definizione dell'estensione non cambia, l'estensione viene definita ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

MODELLI, Teoria dei

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei (App. III, 11, p. 139) Giulio Supino Alberto Pasquinelli Aldo Marruccelli In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] poste già precedentemente. Infatti, un primo contributo fondamentale al riguardo si rivela identificabile col teorema di Löwenheim-Skolem, stabilito e quindi generalizzato durante gli anni 1915-20: una formula del calcolo dei predicati ristretto ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – SIMILITUDINE GEOMETRICA – TEOREMA DI COMPATTEZZA – NUMERI INTERI RELATIVI – TEORIA DEI MODELLI
Mostra altri risultati Nascondi altri risultati su MODELLI, Teoria dei (3)
Mostra Tutti

Lowenheim Leopold

Dizionario delle Scienze Fisiche (1996)

Lowenheim Leopold Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 e. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Zermelo-Fraenkel, teoria di

Enciclopedia della Matematica (2013)

Zermelo-Fraenkel, teoria di Zermelo-Fraenkel, teoria di sistema di assiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] fu proposta per la prima volta da E. Zermelo nel 1908 e fu successivamente perfezionata da A. Fraenkel e T.A. Skolem; sua caratteristica principale è quella di seguire la prassi matematica secondo la quale gli insiemi con cui si lavora sono di fatto ... Leggi Tutto
TAGS: TEORIA DEL PRIMO ORDINE – IPOTESI DEL → CONTINUO – ANTINOMIA DI → RUSSELL – TEORIA DEGLI → INSIEMI – ASSIOMA DELLA SCELTA

La logica nel Novecento

Storia della civiltà europea a cura di Umberto Eco (2014)

Andrea Bernardoni Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] (1878-1957) nel 1915 nella memoria Über Möglichkeiten im Relativkalkül (Sulle possibilità nel calcolo dei relativi), e poi generalizzato da Thoralf Skolem (1887-1963) nel 1920 e nel 1922; esso afferma che se un insieme di enunciati del primo ordine è ... Leggi Tutto
1 2 3 4
  • 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