• 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 App
    • Skill
    • 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
vocabolario
biografico
164 risultati
Tutti i risultati
Matematica [49]
Filosofia [26]
Fisica [20]
Biografie [18]
Storia della matematica [16]
Diritto [14]
Temi generali [11]
Algebra [9]
Storia della fisica [10]
Logica matematica [9]

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; [...] anche il successivo di questo ne gode, allora ogni numero naturale gode di quelle proprietà. Un modello del sistema assiomatico a)-e) è un’interpretazione dei termini non definiti «0», «numero naturale», «successivo di un numero naturale», che ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: SISTEMA ASSIOMATICO – LOGICA MATEMATICA

sistema ipotetico deduttivo

Enciclopedia della Matematica (2013)

sistema ipotetico deduttivo sistema ipotetico deduttivo locuzione con cui si indica una determinata modalità di strutturare una teoria scientifica. In un sistema ipotetico deduttivo sono assunti come [...] , entrambe basate su un linguaggio logico predicativo. L’aspetto cruciale che segna una netta distinzione fra i sistemi assiomatici moderni e la concezione aristotelica risiede nella distinzione fra correttezza formale e applicabilità al reale. Un ... Leggi Tutto
TAGS: GEOMETRIE NON EUCLIDEE – CALCOLO COMBINATORIO – ASSIOMI DI → HILBERT – SISTEMA ASSIOMATICO – GEOMETRIA EUCLIDEA

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, [...] Mathematik (1934-39). Al suo nome è legata una notissima assiomatizzazione della teoria degli insiemi (Axiomatic Set Theory, 1958). Il sistema assiomatico di B., che sviluppa quello di J. L. von Neumann, è stato studiato anche da K. Gödel: è perciò ... 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

geometria

Enciclopedia on line

In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali. Cenni storiciL’antichità - L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] identificato la g. e il suo contenuto con i modelli euclidei. Dalla precedente concezione della g. come sistema assiomatico-deduttivo, nel quale le proposizioni iniziali, lungi dal poter essere liberamente scelte, esprimono proprietà evidenti, e ... Leggi Tutto
CATEGORIA: GEOMETRIA
TAGS: OPERAZIONI DI PROIEZIONE E SEZIONE – TEORIA QUANTISTICA DEI CAMPI – TEORIA DELLE SUPERSTRINGHE – POSTULATO DELLE PARALLELE – METODO DELL’ASSONOMETRIA
Mostra altri risultati Nascondi altri risultati su geometria (13)
Mostra Tutti

Leśniewski, Stanisław

Enciclopedia on line

Leśniewski, Stanisław Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] da questa distinzione L. fondò una teoria delle relazioni parti-tutto ("mereologia") che successivamente elaborò in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi. Tra le opere: O ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: FILOSOFIA DELLA MATEMATICA – CALCOLO PROPOSIZIONALE – PARADOSSO DI RUSSELL – SISTEMA ASSIOMATICO – INSIEMISTICA
Mostra altri risultati Nascondi altri risultati su Leśniewski, Stanisław (1)
Mostra Tutti

teorema

Enciclopedia on line

teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] In un sistema assiomatico moderno la distinzione fra t. e assiomi non è però netta e assoluta in quanto il sistema costituisce un insieme organico di enunciati nel quale si può, in generale, cominciare con alcuni o con altri enunciati. In un sistema ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: SISTEMA ASSIOMATICO – SISTEMA FORMALE – MATEMATICA – ASSIOMI
Mostra altri risultati Nascondi altri risultati su teorema (4)
Mostra Tutti

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 [...] ciascun simbolo non logico di L, da opportuni enti relativi a quel dominio. Per es., se T è il sistema assiomatico di Peano, T potrà acquistare un significato se viene interpretato nella struttura costituita dal dominio dei numeri naturali (per le ... 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

metamatematica

Enciclopedia on line

Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] metterla al riparo dai paradossi; il suo metodo specifico consiste, innanzitutto, nel trasformare una teoria matematica in un sistema assiomatico mediante la piena formalizzazione del suo significato intuitivo e nel dimostrare, poi, le proprietà del ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su metamatematica (4)
Mostra Tutti

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 [...] 1959. È stato uno dei fondatori della Israel academy of sciences and humanities. Scoprì che il sistema assiomatico di E. Zermelo non era sufficientemente potente per servire da base a tutte le teorie matematiche; introdusse perciò l'assioma di ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: SISTEMA ASSIOMATICO – GERUSALEMME – MONACO – KIEL
Mostra altri risultati Nascondi altri risultati su Fraenkel, Abraham Adolf Halevi (1)
Mostra Tutti

teoria

Enciclopedia on line

Filosofia Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura. Le domande [...] e leggi teoriche e termini teorici dall’altro. Nella prospettiva neoempiristica una t. può essere caratterizzata come un sistema assiomatico di tipo ipotetico-deduttivo dai cui enunciati primitivi o postulati (o assiomi) possono essere ricavati, per ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: RIVOLUZIONE SCIENTIFICA – ORDINAMENTO PARZIALE – SISTEMA ASSIOMATICO – POSITIVISMO LOGICO – SISTEMA FORMALE
1 2 3 4 5 6 7 8 ... 17
Vocabolario
assiomàtico
assiomatico assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione),...
assiomàtica
assiomatica assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...
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 App
    • Skill
    • 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