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 [...] sono, per es., le t. dei gruppi, quella degli anelli ecc.
Le dimostrazioni effettuate con il calcolo logico di Hilbert e Bernays (➔ logica) o con altri calcoli di tipo equivalente sono assai diverse da quelle che effettivamente un matematico adopera ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Federigo Enriques
Giorgio Israel
La figura di Federigo Enriques occupa una posizione centrale nella storia della cultura italiana tra la fine dell’Ottocento e la Seconda guerra mondiale. Egli fu uno [...] geometria, accusava il purismo di aver subordinato i problemi ai metodi, i fini ai mezzi.
Per Enriques – come per Hilbert – il cuore della matematica è dato dai ‘grandi problemi’. Analisi e geometria non dovevano essere separate, ma anzi occorreva ...
Leggi Tutto
L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...]
In meccanica quantistica, ogni realizzazione concreta degli enti matematici astratti, cioè vettori e operatori di uno spazio di Hilbert, per mezzo dei quali è descritto un sistema quantistico. Una particolare r. è individuata dalla scelta di una ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] , da un punto di vista intuizionista, tesi su argomenti quali la topologia, la teoria della misura, la teoria degli spazi di Hilbert, l'integrale di Radon e la geometria affine. Dopo il 1974 interessanti contributi sono stati forniti da Willem H.M ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] di stabilire quando un polinomio a coefficienti interi ha o meno soluzione intera, rispondendo così al decimo problema posto da Hilbert nel 1900. Entrambi i risultati suddetti – assieme a quello di Gödel – non sono che gli esempi più sorprendenti di ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] dei modelli, nella quale è per lo più inquadrata la s. logica.
Mentre la teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e alla verità delle formule coinvolte, la s. logica è ...
Leggi Tutto
Fenomenologia
Herman L. Van Breda
di Herman L. Van Breda
Fenomenologia
sommario: 1. Introduzione. 2. Itinerario fenomenologioo di Husserl. 3. La fenomenologia pura di Husserl. 4. La fenomenologia filosofica [...] di filosofia di Gottinga - e in particolare i matematici e i fisici di fama che la controllavano (F. Klein, D. Hilbert, H. Minkowski, W. Nernst, ecc.) - si rivolsero a Husserl perché vi insegnasse filosofia della matematica e vi introducesse la ...
Leggi Tutto
RELATIVITÀ
Christian Moller
Tullio Regge
Eugenio Garin
Relatività di Christian Møller
sommario: 1. Introduzione e panorama storico: a) il principio di relatività speciale. Sistemi inerziali; b) relatività [...] tensore di energia-impulso:
Le equazioni di campo (70) possono essere dedotte tramite un principio variazionale, detto di Hilbert-Einstein. In tal caso occorre specificare i campi che si vogliono considerare. Ad esempio, se si ammettono unicamente ...
Leggi Tutto
Scienza
Gerard Radnitzky
Paolo Rossi
di Gerard Radnitzky, Paolo Rossi
SCIENZA
Teoria della scienza di Gerard Radnitzky
sommario: 1. Introduzione. 2. Che specie di disciplina è la teoria della scienza [...] '.
Con alcune delle tesi e delle prospettive sottolineate da Merton si confrontò direttamente anche Koyré, russo di nascita, scolaro di Hilbert e di Husserl a Gottinga, stabilitosi prima in Francia (ove subì l'influenza di Lévy-Bruhl e di É. Meyerson ...
Leggi Tutto
hilbertiano
〈i-〉 agg. – Relativo al matematico ted. D. Hilbert (1862-1943). In partic., spazio h., spazio vettoriale completo (in cui cioè qualsiasi successione convergente di punti converga a un punto dello spazio stesso) nel quale sia definito...
risolubilita
risolubilità s. f. [der. di risolubile]. – Il fatto di essere risolubile, la condizione di ciò che può essere risolto: r. di un dubbio, di un problema, di un enigma; r. di un contratto, in diritto privato; r. di un problema geometrico...