• 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
il chiasmo
lingua italiana
8 risultati
Tutti i risultati [86]
Logica matematica [8]
Matematica [36]
Filosofia [13]
Algebra [10]
Storia della matematica [8]
Biografie [4]
Dottrine teorie e concetti [4]
Storia del pensiero filosofico [4]
Geometria [4]
Temi generali [4]

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] costituisce il calcolo, fissando un insieme di postulati costituito da assiomi e regole di inferenza; applicando queste regole si possono nei primi anni del Novecento da David Hilbert, Giuseppe Peano e Mario Pieri, per limitarci ai nomi più grandi. ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

categoricità

Enciclopedia on line

categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] assiomatico a)-e) è un’interpretazione dei termini non definiti «0», «numero naturale», «successivo di un numero naturale», che associa a ogni assioma il valore di verità vero. Che il sistema a)-e) sia categorico, che cioè due suoi modelli qualsiasi ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: SISTEMA ASSIOMATICO – LOGICA MATEMATICA

La logica e i fondamenti della matematica tra Ottocento e Novecento

Il Contributo italiano alla storia del Pensiero: Scienze (2013)

La logica e i fondamenti della matematica tra Ottocento e Novecento Mario Piazza I fondamenti della geometria Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] numeri naturali si può intendere come una variante stilistica degli assiomi di Peano, s’impone la questione dell’influenza esercitata da Dedekind su Peano, il quale omette di informarci del percorso intellettuale che l’ha portato alla determinazione ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – STORIA DELLA MATEMATICA

modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] di individui e, per ciascun simbolo non logico di L, da opportuni enti relativi a quel dominio. Per es., se T è il sistema assiomatico di Peano se può avere un numero finito di assiomi non logici. Vale il teorema di compattezza: ‘una formula è valida ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM
Mostra altri risultati Nascondi altri risultati su modello (6)
Mostra Tutti

Modelli, Teoria dei

Enciclopedia della Scienza e della Tecnica (2007)

Modelli, Teoria dei Silvio Bozzi Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] i risultati ci mostrano che tanto l'aritmetica AP di Peano quanto la teoria TR dei reali avranno modelli non teoria dei campi algebricamente chiusi che otteniamo da TC aggiungendo per ogni n∈ℕ l'assioma ACn [16] ∀y0,...,∀yn−1 ∃x (xn+yn−1xn−1+...+y0=0 ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEOREMA DI COMPATTEZZA – GRUPPO DI AUTOMORFISMI – TEORIA DELLA STABILITÀ – CLASSI D'EQUIVALENZA – GEOMETRIA ALGEBRICA
Mostra altri risultati Nascondi altri risultati su Modelli, Teoria dei (3)
Mostra Tutti

induzione

Enciclopedia on line

Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale. Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] esse, quali assiomi. Mentre il principio di i. completa è generalmente accettato dai matematici per i numeri interi (sia pure come un postulato dell’aritmetica come fece G. Peano, 1899), vi è ancora discussione sulla sua estensione ai numeri ordinali ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – BIOINGEGNERIA – EMBRIOLOGIA – GENETICA – CHIMICA FISICA – CHIMICA INORGANICA – ELETTROLOGIA – FISICA MATEMATICA – LOGICA MATEMATICA – FISIOLOGIA UMANA – GENETICA MEDICA – PSICHIATRIA – CITOLOGIA EMBRIOLOGIA E GENETICA – DOTTRINE TEORIE E CONCETTI – METAFISICA – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: FATTORE DI CRESCITA DELL’EPIDERMIDE – RISONANZA MAGNETICA NUCLEARE – FATTORE DI CRESCITA NERVOSO – POLARIZZAZIONE MAGNETICA – DROSOPHILA MELANOGASTER
Mostra altri risultati Nascondi altri risultati su induzione (6)
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 [...] e il 1890 G. Cantor aveva fatto uso in alcune dimostrazioni di un ragionamento che equivale logicamente all’assioma di scelta. Nel 1890 G. Peano incidentalmente diede una formulazione di questo assioma. Nel 1902 B. Levi lo enunciò come principio a sé ... 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

postulato

Enciclopedia on line

Linguistica Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] geometrici). Nella logica moderna la differenziazione tra assiomi e p. è venuta meno a partire dalla fine del 19° sec., specialmente per opera di G. Frege, G. Peano, B. Russell e D. Hilbert. Oggi per assioma o p. si intende un enunciato primitivo ... Leggi Tutto
CATEGORIA: LESSICOLOGIA E LESSICOGRAFIA – LOGICA MATEMATICA
TAGS: MATEMATICA – EUCLIDE – ASSIOMA – LATINO – LOGICA
Mostra altri risultati Nascondi altri risultati su postulato (5)
Mostra Tutti
  • 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