Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] , attraverso i cosiddetti 'numeri di Gödel' delle proposizioni e delledimostrazioni all'interno dellateoria formale. In altre parole, Gödel numera tutte le proposizioni e dimostrazioni all'interno dellateoria assiomatica formale ed è poi in grado ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni matematiche
Roshdi Rashed
Le tradizioni matematiche
Capire lo sviluppo della matematica in un periodo di sette secoli, stabilire [...] si distingue anche per il linguaggio e per i procedimenti di dimostrazione. Il linguaggio è misto; il vocabolario dellateoriadelle proporzioni, cioè della geometria tradizionale, si mescola a termini che contraddistinguono ormai i concetti ...
Leggi Tutto
GENOCCHI, Angelo
Livia Giacardi
Nacque a Piacenza il 5 marzo 1817 da Carlo, agiato possidente, e da Carolina Locatelli. Fin da giovanissimo il G. si distinse negli studi, in particolar modo in quelli [...] primi, in cui egli non sa evidenziare la novità delle idee e, non facendo alcun cenno alla celebre ipotesi, dimostra una certa incapacità a intuire le future linee di sviluppo dellateoria (Formole per determinare quanti siano i numeri primi fino ...
Leggi Tutto
PASCAL, Ernesto
Maria Rosaria Enea
PASCAL, Ernesto. – Nacque a Napoli il 7 febbraio 1865 da Stefano, membro di una famiglia francese di commercianti tarasconesi, e da Maria Gaetana Zapegna.
Compì i [...] , se pur breve, esposizione critica di parte della produzione matematica del XIX secolo: per quasi tutte le principali teorie matematiche, stabiliti definizioni e concetti fondamentali, ed esposti (senza dimostrazione) teoremi e formule, vengono dati ...
Leggi Tutto
FUBINI (Fubini Ghiron), Guido
Marta Menghini
(Fubini Ghiron), Nacque a Venezia il 19 genn. 1879 da Lazzaro e da Zoraide Torre. Compì i suoi studi presso la Scuola normale superiore di Pisa, dove ebbe [...] problema posto da Riemann, per il quale sviluppò metodi diretti di dimostrazione, affiancando in ciò il suo nome a quelli di H.-L. di lavori, tra cui Il principio di minimo nella teoriadella flessione delle travi ad asse curvo (in Rend. del Circolo ...
Leggi Tutto
MAGGI, Gian Antonio
Adriano Paolo Morando
Nacque a Milano il 19 febbr. 1856, dal nobile Pietro Giuseppe - noto orientalista, membro dell'Istituto lombardo di scienze e lettere - e da Clara Anelli. Si [...] , matem. e naturali, s. 5, XXVI [1917], pp. 201-206) e, nel seguito, la teoria del potenziale (Dimostrazione di una proprietà attinente alla teoriadella funzione potenziale di superficie, ibid., s. 6, XIII [1931], pp. 324-327).
Docente impegnato e ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] dimostrazione del fatto che «la matematizzazione non è fatta per dirigenti poco abili» (G. Pompilj, Funzioni e limiti della in grado di interpretare e di estendere, nel contesto dellateoriadelle variabili casuali e con i contributi di alcuni dei ...
Leggi Tutto
BURGATTI, Pietro
Enzo Pozzato
Nacque a Cento (Ferrara) il 27 febbr. 1868 da Federico e da Marietta Biegoli. Aveva abbracciato negli anni giovanili la carriera militare, che abbandonò per l'interesse [...] B. si occupò in varie riprese, giungendo a dimostrare che lo spostamento del perielio di Mercurio, previsto dalla teoriadella relatività, può essere annullato dall'ipotesi di un piccolo schiacciamento della massa interna del Sole (Lo spostamento dei ...
Leggi Tutto
PASTORI, Maria
Angelo Guerraggio
PASTORI, Maria. – Nacque a Milano il 10 marzo 1895, terzogenita di una famiglia di modeste condizioni sociali: il padre, Silvio, era custode presso un istituto religioso; [...] la teoriadella gravitazione all’interno dello schema relativistico. In particolare, in una Nota sulla propagazione delle azioni gravitazionali ed elettromagnetiche, Pastori provò un risultato già illustrato da Einstein, ma con una dimostrazione non ...
Leggi Tutto
BOGGIO, Tommaso
Antonella Bastai Prat
Nato a Valperga (Torino), il 22 dic. 1877, da Francesco e Anna Fassino, frequentò la sezione fisico-matematica dell'istituto tecnico "Sommeiller". Dimostrò ben [...] 1924 il B. e Burali-Forti credettero di aver dimostrato definitivamente da una parte la superiorità del calcolo omografico su quello tensoriale e dall'altra l'infondatezza dellateoriadella relatività e pubblicarono le loro idee nel volume Espaces ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...