BELTRAMI, Eugenio
Nicola Virgopia
Nacque a Cremona il 16 nov. 1835. Compiuti gli studi secondari nel ginnasio liceo di Cremona, s'iscrisse nel 1853 alla scuola di matematica dell'università di Pavia, [...] stesso dimostrate, il teorema di Bourret sulla della funzione potenziale della circonferenza che è l'inversa della media aritmetica-geometrica di Gauss effettuata tra i valori della minima e della la teoria fondamentaledell'elettromagnetismo dal ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] dell’aritmetica ricorsiva primitiva che comprende la classe di tutte le funzioni usuali dell’aritmetica è una proprietà fondamentale di un delle funzioni ricorsive. Tuttavia TC non è sufficientemente rigorosa da poter aspirare a diventare un teorema ...
Leggi Tutto
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
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] conseguiti dalla logica del Novecento. Il primo teorema afferma che la teoria formale dell’aritmetica, se coerente, contiene una proposizione indecidibile; il secondo teorema aggiunge che l’aritmetica non può dimostrare con i propri mezzi la sua ...
Leggi Tutto
CAPELLI, Alfredo
Eugenio Togliatti
Nacque a Milano il 5 ag. 1855 da Arminio e da Gioconda Manufardi. Compì gli studi universitari a Roma, ove ebbe a maestri L. Cremona, E. Beltrami, G. Battaglini. Conseguita [...] forme invariantive d'una data forma; un'estensione di detto teorema a funzioni razionali intere con infiniti termini; ecc. Alcuni dei didattica di presentare le quattro operazioni fondamentalidell'aritmetica nell'ordine seguente: moltiplicazione, ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teoremafondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] per queste teorie fornirebbe una dimostrazione finitista di coerenza. Come provato da Gentzen nel 1936 nel caso dell’aritmetica di Peano, il teorema vale ma richiede sul piano metateorico il ricorso all’induzione aperta sull’ordinale . Il discorso si ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] della disciplina cominciarono a esser poste già precedentemente. Infatti, un primo contributo fondamentale al riguardo si rivela identificabile col teorema se T è una delle consuete teorie formalizzate dell'aritmetica elementare, essa potrà acquistare ...
Leggi Tutto
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 [...] non meno celebre teorema asserente l'intrinseca impossibilità di provare la coerenza di un sistema formale dell'aritmetica usandone i dare una garanzia della correttezza delle teorie matematiche è il problema fondamentaledella metamatematica. Per ...
Leggi Tutto
INDIA (A. T., 93-94)
Umberto TOSCHI
Fabrizio CORTESI
Mario SALFI
Umberto TOSCHI
Egon von EICKSTEDT
Renato BIASUTTI
Ambrogio BALLINI
Alberto PINCHERLE
Umberto TOSCHI
Umberto TOSCHI
Gennaro MONDAINI
Giuseppe [...] la prosperità. Base dunque fondamentaledella religione dell'Atharvaveda sono le superstizioni; eccezionale dell'aritmetica e dell'algebra presso dell'area sacrificale e dell'altare rivela molte conoscenze geometriche, compreso in esse il noto teorema ...
Leggi Tutto
IMMAGINARIO
Gaetano Scorza
. Termine matematico, con cui si designa una classe di numeri, che, storicamente, si presentarono dapprima come non corrispondenti a grandezze reali.
1. Cenni storici. - A [...] mantenere intatto l'insieme delle proprietà fondamentalidelle quattro operazioni dell'aritmetica ordinaria.
Che l'affermazione di Hamilton (Frobenius).
Di qua e dal precedente teorema del Wedderburn si deduce la struttura di ogni algebra semplice ...
Leggi Tutto
RECIPROCITÀ
. 1. Si dicono genericamente "teoremi di reciprocità" talune proposizioni, appartenenti a rami diversi della matematica, nelle quali vengono messe in luce proprietà simmetriche, di cui godono, [...] Aritmetica superiore, n. 9); e un altro esempio è fornito dai teoremi di reciprocità (di cui il primo risale a E. Betti), che si incontrano nella teoria della polo e polare, e vale il seguente teoremafondamentale (di reciprocità): Se la polare di un ...
Leggi Tutto
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...