• 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
sinonimi
atlante
il chiasmo
lingua italiana
384 risultati
Tutti i risultati [1534]
Matematica [384]
Filosofia [341]
Biografie [312]
Fisica [200]
Temi generali [146]
Storia della fisica [133]
Metafisica [124]
Fisica matematica [122]
Algebra [109]
Epistemologia [105]

Łukasiewicz, Jan

Enciclopedia on line

Łukasiewicz, Jan Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] ) e di Varsavia (1920), dal 1945 prof. di logica matematica all'univ. di Dublino. Ł. ha svolto ricerche storiche, specie sulla logica antica, giungendo a una netta distinzione tra la logica peripatetica ("logica dei predicati o delle classi" che si ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: CALCOLO PROPOSIZIONALE – LOGICA MATEMATICA – DEDUZIONE – VARSAVIA – LEOPOLI
Mostra altri risultati Nascondi altri risultati su Łukasiewicz, Jan (2)
Mostra Tutti

Erdős, Paul

Enciclopedia on line

Erdős, Paul Matematico statunitense di origine ungherese (Budapest 1913 - Varsavia 1996). Professore presso l'Accademia ungherese delle scienze tecniche, ha insegnato in varie università europee e degli Stati Uniti. [...] intero, dimostrato in collab. con M. Kac, è alla base della moderna teoria probabilistica dei numeri; con il calcolo delle partizioni nella teoria degli insiemi, E. ha creato un nuovo campo di ricerca intermedio tra questa e la logica matematica. ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: MATEMATICA COMBINATORIA – TEORIA DEGLI INSIEMI – TEORIA DEI NUMERI – LOGICA MATEMATICA – NUMERO INTERO
Mostra altri risultati Nascondi altri risultati su Erdős, Paul (1)
Mostra Tutti

Cipólla, Michele

Enciclopedia on line

Matematico italiano (Palermo 1880 - ivi 1947). Prof. di analisi matematica nell'univ. di Catania (1911-23), quindi in quella di Palermo. Ha portato notevoli contributi alla teoria dei numeri, alla teoria [...] dei gruppi e dei corpi numerici. Insigne cultore di logica matematica: per evitare il postulato di Zermelo, ideò la teoria delle successioni di insiemi, che fu poi largamente usata dai cultori della teoria delle funzioni di variabile reale. ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: ANALISI MATEMATICA – TEORIA DEI NUMERI – LOGICA MATEMATICA – PALERMO – CATANIA
Mostra altri risultati Nascondi altri risultati su Cipólla, Michele (2)
Mostra Tutti

Zorn, Max

Enciclopedia on line

Matematico statunitense di origine tedesca (n. 1906 - m. Bloomington, Indiana, 1993). Prof. all'Indiana University (dal 1946), ha dato importanti contributi all'algebra, nella teoria degli insiemi e alla [...] topologia; a lui si deve un enunciato di logica matematica (lemma di Z.) equivalente all'assioma delle scelte. ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – TOPOLOGIA – ALGEBRA – INDIANA
Mostra altri risultati Nascondi altri risultati su Zorn, Max (1)
Mostra Tutti

Curry, Haskell Brooks

Enciclopedia on line

Curry, Haskell Brooks Matematico statunitense (Millis, Massachusetts, 1900 - Filadelfia 1982); prof. alla Pennsylvania State Univ. dal 1941. Si è occupato soprattutto di logica matematica. Tra le sue opere: Combinatory logic [...] (1958), Foundations of mathematical logic (1963). ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: LOGICA MATEMATICA – MASSACHUSETTS – PENNSYLVANIA – FILADELFIA

ALGEBRA

Enciclopedia Italiana - IV Appendice (1978)

Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] del polacco J. Łoš che collega questa tecnica algebrica alla costruzione di modelli di una teoria del primo ordine v. logica matematica in questa App. "Uno dei più importanti concetti relativi ad a. universali " (G. Grätzer) è quello di "a. libere ... Leggi Tutto
TAGS: ACCADEMIA NAZIONALE DEI LINCEI – SISTEMI ALGEBRICI GENERALI – TEORIA DEL PRIMO ORDINE – ESTENSIONE TRASCENDENTE – TEORIA DELLE CATEGORIE
Mostra altri risultati Nascondi altri risultati su ALGEBRA (2)
Mostra Tutti

NUMERI, Teoria dei

Enciclopedia Italiana - IV Appendice (1979)

NUMERI, Teoria dei Enrico Bombieri Gli sviluppi recenti della t. dei n. (v. aritmetica: Aritmetica inferiore o teoria dei numeri, IV, p. 370) hanno condotto alla soluzione di problemi fondamentali e [...] l'equazione diofantea P(x1, ..., x23) = n è risolubile se e solo se n è un numero primo. I metodi di logica matematica impiegati nello studio del problema di Hilbert permettono anche di trasformare l'enunciato di problemi (per es., il problema dei 4 ... Leggi Tutto
TAGS: ULTIMO TEOREMA DI FERMAT – NUMERO TRASCENDENTE – GEOMETRIA ALGEBRICA – POLINOMIO OMOGENEO – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su NUMERI, Teoria dei (4)
Mostra Tutti

RETICOLO

Enciclopedia Italiana - III Appendice (1961)

RETICOLO (fr. treillis, ingl. lattice, ted. Veroand) Guido ZAPPA Il concetto matematico di "reticolo" è stato già introdotto, col nome di "struttura", in App. II, 11, p. 923. Oggi il termine r. si è [...] che appartengono ad almeno uno dei due sottoinsiemi. Altri notevoli esempî di algebre di Boole si hanno nella logica matematica classica (algebra degli attributi, algebra delle classi, algebra delle proposizioni). Per es., se M è l'insieme di ... Leggi Tutto
TAGS: SPAZIO PROIETTIVO – LOGICA MATEMATICA – ALGEBRA DI BOOLE – NEW YORK – BERLINO
Mostra altri risultati Nascondi altri risultati su RETICOLO (2)
Mostra Tutti

TEORIE FORMALIZZATE

Enciclopedia Italiana - IV Appendice (1981)

TEORIE FORMALIZZATE Aldo Marruccelli . Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] modo definitivo quali sono le limitazioni connesse con la natura stessa delle t. f. (v. logica matematica: Principi di logica matematica; metamatematica; modelli, teoria dei, in questa Appendice). Bibl.: S. C. Kleene, Introduction to metamathematics ... Leggi Tutto
TAGS: LOGICA MATEMATICA – SISTEMA FORMALE – AMSTERDAM – DEDUTTIVA – SEMANTICO
Mostra altri risultati Nascondi altri risultati su TEORIE FORMALIZZATE (6)
Mostra Tutti

COHEN, Paul

Enciclopedia Italiana - IV Appendice (1978)

Matematico e logico-matematico statunitense, nato a Long Branch (New Jersey) il 2 aprile 1934. Ha conseguito il Ph. D. all'università di Chicago nel 1958; è professore di matematica all'università di Stanford [...] e il cosiddetto "metodo del forcing", da lui creato per realizzarne la dimostrazione, sono di straordinaria importanza sia in logica matematica, sia nella teoria degl'insiemi non solo da un punto di vista concettuale, ma anche per le nuove direzioni ... Leggi Tutto
TAGS: EQUAZIONI DIFFERENZIALI – UNIVERSITÀ DI STANFORD – TEORIA DELLA MISURA – MISURA DI LEBESGUE – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su COHEN, Paul (1)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 39
Vocabolario
lògica
logica lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
lògico¹
logico1 lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
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