Godel, numero di
Enciclopedia della Matematica (2013)
Godel, numero di
Gödel, numero di numero naturale associato a ciascuna formula di un sistema formale S secondo un procedimento dovuto a K. Gödel e detto pertanto gödelizzazione. Lo stesso procedimento [...] del linguaggio (per esempio g(x1) = 15 + 2 = 17, g(x2) = 15 + 4 = 19).
Si noti che a ogni simbolo dell’aritmetica viene così associato un numero dispari; la scelta dei numeri dispari viene operata per distinguere i simboli dalle formule. Infatti a ...
Leggi Tutto
Krull, Wolfgang
Enciclopedia on line
Matematico tedesco (Baden-Baden 1899 - Bonn 1971). Dal 1928 prof. nell'univ. di Erlangen, poi dal 1938 in quella di Bonn. K. è stato un cultore soprattutto di aritmetica e di algebra; i suoi risultati [...] nella teoria degli ideali sono uno degli strumenti che hanno reso possibili gli sviluppi della moderna geometria algebrica; in essa, difatti, il "corpo di base" non è più quello dei numeri complessi, ma ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ARTI LIBERALI
Enciclopedia Italiana (1929)
LIBERALI Le arti liberali che costituivano durante il Medioevo i due gradi dell'insegnamento, l'uno letterario, l'altro scientifico, comprendevano la grammatica, la retorica e la dialettica (il Trivio); [...] e della filosofia si studiava la litteratura (lettura e scrittura), poi la grammatica, la geometria (di cui l'aritmetica era una parte) e la musica. Questi studî da Seneca sono denominati artes liberales e da Quintiliano ἐνκυκλομαιδεῖα.
Alcuni ...
Leggi Tutto
CATEGORIA:
DIRITTO CIVILE
zero
Enciclopedia on line
zero Primo numero della successione naturale 0, 1, 2, 3 ecc., unico numero naturale che non sia il successore di un altro; come numero cardinale indica la mancanza di ogni unità, cioè il numero cardinale [...] è uguale a zero; c) la divisione per 0 è sempre da escludersi. Il simbolo a/0, per a≠0, è da ritenersi privo di significato in aritmetica, mentre 0/0 è simbolo di indeterminazione (in quanto si ha x∙0=0 per qualunque valore di x); d) a0=1, se a≠0. Si ...
Leggi Tutto
Gentzen
Enciclopedia della Matematica (2013)
Gentzen
Gentzen Gerhard Karl Erich (Greifswald, Meclemburgo-Pomerania Occidentale, 1909 - Praga 1945) logico tedesco. Diede importanti contributi alla teoria della dimostrazione e al problema della coerenza [...] composta unicamente da sue sottoespressioni. Il secondo risultato di Gentzen riguarda la coerenza dei sistemi formali dell’aritmetica, che egli riuscì a dimostrare descrivendo delle trasformazioni che a ogni derivazione del calcolo ne associano un ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Storia della Scienza (2001)
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] creazione di un gioco matematico basato su di essa, vale a dire la ritmomachia (v. oltre). Il significato attribuito all'aritmetica è chiaro fin dalle prime battute dell'opera: "Tutto ciò che è stato costruito a partire dall'originaria natura delle ...
Leggi Tutto
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] di questa alcune prove ma con argomentazioni non finitistiche.
Nel 1936 G. Gentzen riuscì a dimostrare la consistenza dell’aritmetica usando un principio d’induzione transfinita. Analoghi risultati sono stati ottenuti da K. Schütte, da P. Lorentzen e ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Domnino di Larissa di Siria
Enciclopedia on line
Filosofo neoplatonico (sec. 5º d. C.); diresse la scuola d'Atene prima di Proclo. Soprattutto matematico, restano due suoi scritti, di cui il più importante è il Manuale d'introduzione aritmetica (᾿Εγχειρίδιον [...] ἀριϑμητικῆς εἰσαγωγῆς), rapido compendio della teoria dei numeri ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
variazione, coefficiente di
Enciclopedia della Matematica (2013)
variazione, coefficiente di
variazione, coefficiente di in statistica, indice relativo di variabilità di una variabile statistica, dato dal rapporto tra il suo scarto quadratico medio e la sua media [...] aritmetica:
È generalmente espresso in percentuale e, non essendo riferito ad alcuna unità di misura, permette di effettuare confronti fra diverse distribuzioni relative a fenomeni omogenei. ...
Leggi Tutto
Bertrand, Joseph-Louis-François
Enciclopedia on line
Matematico (Parigi 1822 - ivi 1900). Dal 1856 al 1896 fu professore di analisi matematica all'École polytechnique. Si occupò di geometria, di meccanica (similitudine meccanica, legge di gravitazione), [...] di storia della scienza (astronomia). Ha lasciato un classico Traité de calcul différentiel et de calcul intégral (1864-70) e trattati di aritmetica e di algebra elementare. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE