• 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
lingua italiana
172 risultati
Tutti i risultati [662]
Matematica [172]
Filosofia [109]
Fisica [84]
Biografie [68]
Fisica matematica [51]
Storia della fisica [49]
Temi generali [45]
Algebra [42]
Storia della matematica [44]
Metafisica [34]

ALGEBRA OMOLOGICA

Enciclopedia Italiana - V Appendice (1991)

(v. topologia, App:. III, 11, p. 960; algebra omologica, App. IV, I, p. 87) Introduzione. - L'a.o. ha le sue origini nella teoria d'omologia di gruppi astratti che fu coinvolta nello studio di certi spazi [...] . App. IV, i, p. 87), e con opportuni strumenti per il loro computo. Nelle categorie abeliane, l'autodualità degli assiomi che le caratterizzano offre un'importante trama per lo studio delle proprietà formali, tuttavia trattazioni sistematiche di a.o ... Leggi Tutto
TAGS: SERIE DI POTENZE FORMALI – TEORIA DELLE CATEGORIE – INSIEME DI GENERATORI – ALGEBRICAMENTE CHIUSO – STRUTTURE ALGEBRICHE
Mostra altri risultati Nascondi altri risultati su ALGEBRA OMOLOGICA (1)
Mostra Tutti

ipotesi

Enciclopedia on line

Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, [...] P.J. Cohen, il quale ha provato che sia l’i. del continuo sia la sua negazione sono compatibili con gli assiomi della teoria degli insiemi (dando luogo, di conseguenza, a due diverse teorie degli insiemi). Statistica È detto controllo (o test) delle ... Leggi Tutto
CATEGORIA: FILOLOGIA – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – GEOMETRIA – STATISTICA E CALCOLO DELLE PROBABILITA – DOTTRINE TEORIE E CONCETTI
TAGS: INSIEME DEI NUMERI NATURALI – CALCOLO DELLE PROBABILITÀ – CORRISPONDENZA BIUNIVOCA – FUNZIONE DI RIPARTIZIONE – ARISTOFANE DI BISANZIO
Mostra altri risultati Nascondi altri risultati su ipotesi (4)
Mostra Tutti

Saccheri, Giovanni Girolamo

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

Giovanni Girolamo Saccheri Vincenzo De Risi Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] è infatti una proposizione evidente, ma non indimostrabile; ed è anzi proprio la sua dimostrabilità a garantirne l’evidenza. Gli assiomi si distinguono tuttavia dai teoremi, in quanto la loro dimostrazione è immediata e priva di premesse. Essa si può ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: ACCADEMIA DELLE SCIENZE DI TORINO – PRINCIPIO DI NON CONTRADDIZIONE – GIOVANNI ALFONSO BORELLI – JOHANN HEINRICH LAMBERT – ANALISI INFINITESIMALE
Mostra altri risultati Nascondi altri risultati su Saccheri, Giovanni Girolamo (5)
Mostra Tutti

semantica

Enciclopedia della Scienza e della Tecnica (2008)

semantica Silvio Bozzi Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] la semantica di una data formulazione della teoria degli insiemi occorre ricorrere a una teoria degli insiemi con assiomi più forti. Fatto importante, lo schema di Tarski si può estendere a universi più generali considerando interpretazioni non ... Leggi Tutto
CATEGORIA: LOGICA
Mostra altri risultati Nascondi altri risultati su semantica (1)
Mostra Tutti

inferenza

Dizionario delle Scienze Fisiche (1996)

inferenza inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] campioni e limitato, mediante la stima dei parametri e il controllo delle ipotesi. ◆ [FAF] Regole di i.: in un sistema deduttivo, l'insieme delle regole secondo le quali le proposizioni possono essere dedotte dagli assiomi o da altre proposizioni. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su inferenza (4)
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 [...] di Euclide è di tipo assiomatico-deduttivo: introdotti gli enti primitivi – punto, retta e piano – seguono i 5 assiomi (presentati come proprietà evidenti) che equivalgono agli enunciati seguenti: 1) per due punti distinti passa una retta e una ... 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

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 [...] elemento da ogni insieme di Q. Anche se solo nel 1904 E. Zermelo diede una chiara ed esplicita formulazione dell’assioma di s. e per la prima volta adoperò tale denominazione; esso infatti era stato già usato in precedenza senza essere esplicitamente ... 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

dimostrazione

Enciclopedia on line

Filosofia Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato. La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è un assioma di T, o è ottenuta da espressioni precedenti nella successione per applicazione di regole di inferenza di T; b) A è l’ultima espressione ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI
TAGS: LOGICA MATEMATICA – SISTEMA FORMALE – GNOSEOLOGICO – ARISTOTELE – SILLOGISMO
Mostra altri risultati Nascondi altri risultati su dimostrazione (4)
Mostra Tutti

nodo

Enciclopedia on line

Anatomia N. del seno (o n. seno-atriale) Formazione anatomica situata nell’atrio destro del cuore, in corrispondenza dello sbocco della vena cava superiore, importante nella regolazione del ritmo cardiaco. Astronomia Per [...] nella sua inversa t−1/2 (ciò si esprime dicendo che VK(t) è un polinomio di Laurent in t1/2). Per esso si considerano i seguenti assiomi: 1) se due link orientati K e K′ sono collegati da un’isotopia ambiente, allora VK(t)=VK′(t); 2) se U è un anello ... Leggi Tutto
CATEGORIA: CORPI CELESTI – ANTROPOLOGIA FISICA – BIOINGEGNERIA – EMBRIOLOGIA – FISICA MATEMATICA – METEOROLOGIA – GEOMETRIA – ANATOMIA – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: TEORIA QUANTISTICA DEI CAMPI – SCIENZA DELLE COSTRUZIONI – RELAZIONE DI EQUIVALENZA – FUNZIONE DI PARTIZIONE – MECCANICA QUANTISTICA
Mostra altri risultati Nascondi altri risultati su nodo (3)
Mostra Tutti

aperto

Enciclopedia on line

Linguistica Si definisce vocale a., in contrapposizione a vocale chiusa, quella nella cui pronunzia è maggiore la distanza tra la superficie superiore della lingua e il palato, calcolata nel luogo diaframmatico; [...] , una struttura topologica in un insieme sì da renderlo uno spazio topologico, è proprio quello di assegnare a priori i suoi insiemi a., soddisfacenti naturalmente a opportuni assiomi (➔ spazio). In araldica a. è attributo di una figura. ... Leggi Tutto
CATEGORIA: LINGUISTICA GENERALE – GEOMETRIA – STORIA DELLA MATEMATICA – ARALDICA E TITOLI NOBILIARI
TAGS: STRUTTURA TOPOLOGICA – CIRCONFERENZA – ASSE REALE – MATEMATICA – ARALDICA
1 2 3 4 5 6 7 8 9 ... 18
Vocabolario
assiòma
assioma assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
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 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