METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] Carnap, Sintassi logica del linguaggio (trad. it., a cura di A. Pasquinelli), Milano 1961; E. Agazzi, Introduzione ai problemi dell'assiomatica, ivi 1961; E. W. Beth, I fondamenti logici della matematica (trad. it., a cura di E. Casari), ivi 1963; E ...
Leggi Tutto
congruenza
congruenza termine usato con diversi significati a seconda del contesto; in generale, indica una particolare relazione di equivalenza nel contesto dato.
☐ In algebra: → congruenza modulo n; [...] punto, la simmetria rispetto a un piano e le loro composizioni. Gli assiomi di congruenza ne forniscono una caratterizzazione assiomatica nell’ambito del piano euclideo (→ congruenza, assiomi di). La congruenza (sia nel piano sia nello spazio) è una ...
Leggi Tutto
rivoluzione
rivoluzióne [Der. del lat. revolutio -onis "atto ed effetto del rivolgersi", dal part. pass. revolutus di revolvere, comp. di re- "di nuovo" e volvere "volgere"] [LSF] (a) Propr., giro completo [...] con una medesima stella, e periodo di r. anomalistico, il tempo per tornare in un medesimo punto dell'orbita. ◆ [FAF] R. assiomatica: v. epistemologia: II 435 a. ◆ [STF] [FAF] R. scientifica: v. epistemologia: II 434 b. ◆ [GFS] Moto di r. della Terra ...
Leggi Tutto
Philosophiae naturalis principia ma-thematica
Philosophiae naturalis principia mathematica 〈filosofie naturalis princìpia matemàtica〉 [Lat. "Principi matematici della filosofia naturale"] [STF] Titolo [...] , Newton sviluppa un gran numero di teoremi relativi all'idrodinamica. Mentre i primi due libri hanno una struttura assiomatica "razionale" e deduttiva, il terzo, a partire da tali premesse, sviluppa induttivamente la costituzione dell'Universo (De ...
Leggi Tutto
standard
stàndard [s.ingl. standard 〈stèndëd〉, dal fr. ant. estendart "stendardo"] [LSF] Campione o modello di riferimento per una categoria di grandezze o anche, astrattamente, di una categoria di fenomeni: [...] combustibile: v. celle a combustibile: I 547 e. ◆ [FAF] Modello s.: il modello più intuitivo e più regolare di una teoria assiomatica; per es., una teoria dei numeri interi ammette vari modelli, tra i quali il modello s. è quello dei numeri naturali ...
Leggi Tutto
complessita
complessità [Der. di complesso] [FAF] (a) L'essere complesso, il fatto di costituire un sistema di più parti o elementi interdipendenti in relazione funzionale fra di loro; (b) specific., [...] : v. entropia e informazione: II 427 c. ◆ [MCS] C. temporale e spaziale del moto: v. entropia e informazione: II 430 c. ◆ [INF] Classe di c.: v. complessità di calcolo: I 663 e. ◆ [INF] Teoria assiomatica della c.: v. complessità di calcolo: I 663 e. ...
Leggi Tutto
(v. termodinamica, XXXIII, p. 580; App. IV, III, p. 621)
Entropia e informazione. - Il concetto di entropia: considerazioni introduttive. - Dare una definizione sintetica e univoca del termine e. è compito [...] riportate tra i postulati di base per la costruzione della termodinamica classica, che è una teoria essenzialmente assiomatica. Nel contesto della meccanica statistica, invece, l'e. è strettamente collegata alla ''condizione microscopica'' in cui si ...
Leggi Tutto
Beth, Evert Willem
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 insegnò nell’univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde [...] .
Tavole di Beth
Metodo fondato sul ragionanento indiretto (o ragionamento per assurdo), che sostituisce l’usuale trattazione assiomatica della logica elementare ristabilendo su basi semantiche la teoria della deduzione. Per dimostrare che una data ...
Leggi Tutto
Von Neumann, John (Janos Lajos Neumann)
Von Neumann, John (János Lajos Neumann) Matematico ed economista ungherese (Budapest 1903 - Washington 1957), naturalizzato statunitense nel 1937. Bambino prodigio, [...] (Theory of games and economic behavior, 1953) –, i teoremi sulla dualità in programmazione lineare, l’impostazione assiomatica della teoria dell’utilità attesa, i risultati sulla crescita ottimale di un sistema economico, il lucido suggerimento di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] di simboli basilari, e per ciascuna formula φ se σ è o no una dimostrazione di φ. Una volta che una teoria assiomatica formale T è presentata in tale maniera, l'insieme delle formule dimostrabili di T è determinato come quello dei risultati finali di ...
Leggi Tutto
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...
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),...