termostatica

Dizionario delle Scienze Fisiche (1996)

termostatica termostàtica [Comp. di termo- e statica] [TRM] (a) Termine con il quale s'indica la termodinamica classica in quanto riferita solo a sistemi in condizioni di equilibrio, o che effettuano [...] lente), per cui la variabile temporale scompare nella descrizione dei fenomeni. (b) Con signif. specifico, un'assiomatizzazione della termodinamica classica, cioè dei processi reversibili, che è stata proposta, in relazione alla termodinamica di J.W ... Leggi Tutto

CATEGORIA: TERMODINAMICA E TERMOLOGIA

assioma

Dizionario di filosofia (2009)

assioma Dal lat. tardo axioma, gr. ἀξίωµα der. di ἄξιος «degno di valore». In generale designa una proposizione il cui ruolo conoscitivo è quello di un principio evidente di per sé e mediante il quale [...] i principi comuni a tutte le scienze; nello stoicismo il termine è usato come sinonimo di enunciato; nella concezione astratta dell’assiomatizzazione è impiegato con riferimento sia ad a. logici sia ad a. non-logici o propri. In linea generale, è ... Leggi Tutto

La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo Jean-Paul Pier Il Bourbakismo L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] . All'inizio del Novecento si stava preparando una rivoluzione in matematica e si sviluppava una tendenza verso l'assiomatizzazione e la formalizzazione. David Hilbert (1862-1943), la grande figura del momento, riteneva che in un enunciato matematico ... Leggi Tutto

CATEGORIA: ALGEBRA – GEOMETRIA – STORIA DELLA MATEMATICA

causalita

Dizionario delle Scienze Fisiche (1996)

causalita causalità [Der. di causale] [FAF] Rapporto che lega la causa con l'effetto: v. causalità. ◆ [FAF] C. relativistica: esprime la circostanza che, non potendosi avere segnali che si propagano [...] ottenute in regioni dello spazio sufficientemente lontane e separate sufficientemente poco nel tempo non possono interferire reciprocamente: v. assiomatizzazione: I 182 f. ◆ [FAF] Principio di c.: può essere così enunciato: tutto ciò che muta ha una ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

Łukasiewicz, Jan

Enciclopedia on line

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 [...] temi di semiotica). Nel campo della teoria della deduzione elaborò numerosi modelli assiomatici; fra l'altro, un'assiomatizzazione del calcolo proposizionale, usando tre soli assiomi. Elaborò inoltre una prova di non contraddittorietà dei sistemi di ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CALCOLO PROPOSIZIONALE – LOGICA MATEMATICA – DEDUZIONE – VARSAVIA – LEOPOLI

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ù [...] . Non c'è da stupirsi quindi del ruolo paradigmatico che hanno avuto per la teoria dei modelli le indagini sull'assiomatizzazione della geometria condotte nei primi anni del Novecento da David Hilbert, Giuseppe Peano e Mario Pieri, per limitarci ai ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEOREMA DI COMPATTEZZA – GRUPPO DI AUTOMORFISMI – TEORIA DELLA STABILITÀ – CLASSI D'EQUIVALENZA – GEOMETRIA ALGEBRICA

fondamento

Enciclopedia on line

Filosofia Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità. Critica dei f. Processo iniziato [...] la denominazione di f. della matematica si indica quel capitolo della matematica che si occupa della rigorosa assiomatizzazione delle sue diverse branche, dell’analisi logica dei procedimenti dimostrativi usati ( critica dei f.), dello studio degli ... Leggi Tutto

CATEGORIA: LOGICA – METAFISICA

TAGS: TEORIA DEGLI INSIEMI – MATEMATICA – ONTOLOGICI – ASSIOMI

Quine

Enciclopedia della Matematica (2013)

Quine Quine Willard Van Orman (Akron, Ohio, 1908 - Boston, Massachusetts, 2000) filosofo e logico statunitense. Laureatosi in matematica sotto la guida di A.N. Whitehead, ha studiato negli anni Trenta [...] cui presenta, in New foundation of mathematical logic (Nuovi fondamenti di logica matematica, 1937), un’originale assiomatizzazione, modificata successivamente in Mathematical logic (Logica matematica, 1940). In uno dei suoi primi e più famosi saggi ... Leggi Tutto

TAGS: UNIVERSITÀ DI HARVARD – TEORIA DEGLI INSIEMI – COMPORTAMENTISTA – VERIFICAZIONISTA – NEOPOSITIVISMO

Il programma di Hilbert

Storia della civiltà europea a cura di Umberto Eco (2014)

Maria Conforti Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] per mezzo di strumenti finitari, ossia la certezza deve essere ridotta alla manipolazione finita di simboli.  L’assiomatizzazione dell’aritmetica Secondo il grande matematico tedesco David Hilbert, per “restituire alla matematica l’antica reputazione ... Leggi Tutto

Woodger, Joseph Henry

Enciclopedia on line

Biologo (Great Yarmouth, Norfolk, 1894 - Cheam, Surrey, 1981). Insegnò all'univ. di Londra dal 1922 al 1959. Vicino a filosofi come C. D. Broad, B. Russell, A. W. Whitehead, R. Carnap e a logici come A. [...] (concetti con caratteristiche essenzialmente non-metriche). In The technique of theory construction (1939) fornì un esempio di assiomatizzazione di una parte della teoria biologica. In Biology and language (1952) rovesciò il punto di vista, partendo ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: LOGICA MATEMATICA – EMBRIOLOGIA – INFERENZA – NORFOLK – SURREY