assiomi_(fisica-matematica): documenti, foto e citazioni nell'Enciclopedia Treccani

enunciato

Dizionario delle Scienze Fisiche (1996)

enunciato enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione ... Leggi Tutto

vero

Dizionario delle Scienze Fisiche (1996)

vero véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] concetto sintattico di dimostrabile: un enunciato (o teorema) è dimostrabile in una teoria, se è deducibile correttamente dagli assiomi della teoria. ◆ [ASF] Di misura astrometrica che sia stata corretta da qualche effetto perturbante, per es. dalla ... Leggi Tutto

CATEGORIA: ASTROFISICA E FISICA SPAZIALE – FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

spazio

Enciclopedia on line

spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] di punti distinti x, y di S esiste un aperto di x che non contiene y e un aperto di y che non contiene x. Un altro assioma è: per ogni coppia di punti distinti x, y di S esiste un intorno di x che non contiene y e un intorno di y che non contiene ... Leggi Tutto

CATEGORIA: CORPI CELESTI – COSMOLOGIA – DISCIPLINE STRUMENTI E TECNICHE DI RICERCA – TEMI GENERALI – ASTROFISICA E FISICA SPAZIALE – FISICA MATEMATICA – GEOGRAFIA FISICA – GEOMETRIA – DISCIPLINE – DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – STORIA E FILOSOFIA DEL DIRITTO – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO – METAFISICA – POLITOLOGIA – TRASPORTI AEREI

TAGS: COMPLEMENTARE DI UN INSIEME – POSTULATO DELLE PARALLELE – CAMPO MAGNETICO TERRESTRE – OSSERVATORIO ASTRONOMICO – CORRISPONDENZA BIUNIVOCA

logica

Dizionario delle Scienze Fisiche (1996)

logica lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] risalire a L.E.J. Bruuwer e A. Heyting, che vede alle origini degli elementi della matematica (numeri, assiomi, teoremi, ecc.) un continuo intervento dell'intuizione, concepita come attività della mente che crea e costruisce i costituenti essenziali ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

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

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

Lambert, Johann Heinrich

Enciclopedia on line

Matematico, fisico, filosofo tedesco (Mulhouse 1728 - Berlino 1777), d'origine francese. Fautore di una metafisica che adottasse il metodo matematico, nella sua opera più celebre, il Neues Organon, oder [...] sulla natura della metafisica, applicando il metodo analitico ai problemi dell'origine e dello sviluppo dei concetti base e degli assiomi che reggono la metafisica, ed ebbe grande influenza sia sull'opera di Tetens sia sulla Critica della ragion pura ... Leggi Tutto

CATEGORIA: BIOGRAFIE – FISICA MATEMATICA – METAFISICA

TAGS: ACCADEMIA DELLE SCIENZE DI BERLINO – CRITICA DELLA RAGION PURA – TEORIA DEI NUMERI – METAFISICA – MULHOUSE

reticolo

Dizionario delle Scienze Fisiche (1996)

reticolo retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] z; (c) (idempotenza) x⋂x=x, x⋃x=x; (d) (assorbimento) x⋂(x⋃y)=x, x⋃(x⋂y)=x. Si nota che i due assiomi di ciascuna delle quattro proprietà s'ottengono l'uno dall'altro scambiando le operazioni di unione e di intersezione; segue da ciò il principio di ... Leggi Tutto

CATEGORIA: ACUSTICA – BIOFISICA – FISICA ATOMICA E MOLECOLARE – FISICA DEI SOLIDI – FISICA MATEMATICA – FISICA NUCLEARE – MECCANICA – MECCANICA DEI FLUIDI – OTTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

L'Ottocento: matematica. Meccanica analitica

Storia della Scienza (2003)

L'Ottocento: matematica. Meccanica analitica Helmut Pulte Meccanica analitica La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] del parallelogramma delle forze o a entrambi. Oggi può sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei principî" (Bailhache 1975 ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – MATEMATICA APPLICATA – STATISTICA E CALCOLO DELLE PROBABILITA – METAFISICA – STORIA DEL PENSIERO FILOSOFICO

uniforme

Dizionario delle Scienze Fisiche (1996)

uniforme unifórme [agg. Der. del lat. uniformis "che ha una medesima forma, che è costantemente uguale", comp. di uni- e formis "-forme"] [ALG] [ANM] In matematica, di ente che si presenta con le stesse [...] velocità vettoriale), ecc. ◆ [ALG] Struttura u.: su uno spazio X, è definita da un sistema U di sottoinsiemi dell'insieme X╳X che soddisfi gli assiomi seguenti: (a) ogni insieme u∈U contiene la diagonale Δ={ (x, x): x∈X} ; (b) se u∈U è u-1={(y, x):(x ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA