formalizzazione
formalizzazione in generale, il termine designa il processo per il quale proprietà, relazioni e legami tra gli elementi di un problema, di un gioco, di una teoria ecc. sono espressi in [...] della geometria, quale emerge dalle indagini di B. Riemann e F. Klein, il processo di formalizzazione ha trovato momenti storicamente assai significativi nell’opera di G. Frege e D. Hilbert. Sulla basedi una nuova interpretazione del concetto di ...
Leggi Tutto
Neumann John von
Neumann John von (Budapest 1903 - Washington 1957) matematico statunitense di origine ungherese. Ha dato importanti contributi in fisica quantistica, nell’analisi funzionale, nella teoria [...] degli insiemi. Del 1928 è l’articolo in cui dimostra il teorema fondamentale della teoria dei giochi (teorema del minimax), di cui è considerato il fondatore. Le implicazioni di questo teorema per lo studio del comportamento sociale in situazioni ...
Leggi Tutto
Noether Emmy
Noether Emmy (Erlangen, Baviera, 1882 - Bryn Mawr, Pennsylvania, 1935) matematica tedesca. Figlia di Max Noether, docente di matematica presso l’università di Erlangen, si iscrisse all’ateneo [...] con F. Klein, D. Hilbert e H. Weyl all’elaborazione dellabase matematica necessaria alla formulazione della teoria della relatività generale di Einstein. Nel 1933, a causa dell’avvento del regime nazista, essendo di madre ebrea, dovette fuggire ...
Leggi Tutto
RETTA (gr. εὐϑὲῖα; lat. recta; fr. droite; sp. recta; ted. Gerade; ingl. straight line)
Annibale Comessatti
Il concetto di linea retta è uno dei concetti primordiali della geometria; la sua rappresentazione [...] a basedell'edificio si deve sempre porre un gruppo di concetti primitivi di Snellio (costanza del rapporto tra il seno dell'angolo d'incidenza e il seno dell'angolo di riflessione o rifrazione) la congruenza rimane ancora normale. Questo teorema ...
Leggi Tutto
RIEMANN, Bernhard
Guido Castelnuovo
Matematico, nato a Breselenz (Hannover) il 17 settembre 1826. Compiuti gli studi classici, nella primavera del 1846 s'iscrisse, per desiderio del padre, alla facoltà [...] Hilbert), egli deduce che una funzione di variabile complessa è definita (a meno di una costante) nell'interno di un campo, se son noti i valori che la parte reale delladibasedelle coordinate (teoremadi Pitagora generalizzato); i coefficienti della ...
Leggi Tutto
convenzionalismo
Concezione filosofica secondo cui alcuni principi o proposizioni, sia conoscitivi sia etico-politici, sono delle convenzioni basate su un accordo o una scelta (anche in forma implicita), [...] di verificare o di falsificare un teorema geometrico e gli assiomi delladella riflessione convenzionalista provenne dallo sviluppo della cosiddetta concezione ipotetico-deduttiva dei sistemi assiomatici (G. Peano, Hilbert in base a fatti di esperienza ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] e ← tutti i teoremidella logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un teoremadi Glivenko per cui ogni teorema classico negativo ←A è teorema intuizionista. I calcoli di Gentzen sono ...
Leggi Tutto
Godel, Kurt
Gödel, Kurt
Matematico e filosofo austriaco, naturalizzato statunitense (Brno 1906 - Princeton 1978). Libero docente di matematica nell’univ. di Vienna (1933-38), fu uno degli studiosi che [...] base alla convenzione fatta, corrispondono rispettivamente al 1°, al 2°, al 3°,..., segno di A. Il numero di G. di A è il risultato della del teoremadi G. è che nel sistema T non è dimostrabile la proposizione che asserisce la coerenza dello stesso ...
Leggi Tutto
volume
volume numero reale non negativo che, da un punto di vista intuitivo, esprime l’estensione spaziale di un solido in rapporto a un solido di riferimento. Il solido di riferimento è il cubo e, nel [...] problemi, il terzo, che D. Hilbert, nel 1900, pose tra i problemi fondamentali della matematica del xx secolo (→ Hilbert, problemi di).
Il teoremadibase, che affronta direttamente la questione sollevata da Hilbert, riguarda i tetraedri e stabilisce ...
Leggi Tutto