biblio toscana

Principia Mathematica è un'opera sui fondamenti logici della matematica scritta da Alfred North Whitehead e Bertrand Russell. L'opera è divisa in tre volumi pubblicati nel 1910, 1912, e 1913 dalla Cambridge University Press. Nel 1927 è apparsa una seconda edizione con una nuova Introduzione e una nuova Appendice C. Una versione ridotta è apparsa nel 1962 col titolo Principia Mathematica to *56. L'Introduzione è stata tradotta in italiano da Paolo Parrini per i tipi de La Nuova Italia con il titolo Introduzione ai «Principia mathematica» (1977).

Mathematica è un ambiente di calcolo simbolico e numerico multipiattaforma, ideato da Stephen Wolfram e successivamente sviluppato da un team di matematici e programmatori. Mathematica usa un potente linguaggio di programmazione interpretato, chiamato linguaggio Wolfram. Wolfram e il suo gruppo iniziarono a lavorare al programma nel 1986 e pubblicarono la prima versione nel 1988. La versione corrente è la 12.1, uscita il 18 marzo 2020. Il sistema Mathematica è disponibile per le piattaforme Windows, MacOS e Linux.

I principi della dinamica sono le leggi fisiche su cui si fonda la dinamica newtoniana, che descrive le relazioni tra il moto di un corpo e gli enti che lo modificano. Sono validi in sistemi di riferimento inerziali e descrivono accuratamente il comportamento dei corpi che si muovono a velocità molto minori della velocità della luce, condizione in cui sono assimilabili con buona approssimazione ai principi più generali della relatività ristretta. Sono anche chiamati principi di Newton perché furono enunciati come assiomi da Isaac Newton nel suo trattato Philosophiae Naturalis Principia Mathematica, pur essendo il frutto di una lunga evoluzione da parte di numerosi scienziati che ne ha preceduto e seguito la pubblicazione; in particolare sono stati riformulati storicamente in vari modi, tra cui la formulazione lagrangiana e la formulazione hamiltoniana.

Introduzione alla filosofia matematica è un'opera del filosofo gallese Bertrand Russell. Si propone di esporre i più basilari concetti che stanno alla base della matematica. Fu scritta durante il periodo di carcerazione scontato dall'autore per la sua partecipazione al movimento pacifista inglese durante la prima guerra mondiale. La trattazione è operata in una forma adatta ai non addetti ai lavori, evitando l'uso della simbologia più propria della materia e rinviando a Principia Mathematica per l'approfondimento degli aspetti tecnici più complessi. Il libro si sviluppa attraverso l'analisi di diversi argomenti, a ciascuno dei quali è dedicato un capitolo; tale percorso arriva in conclusione a mostrare l'arbitrarietà che secondo l'autore è presente in ogni tentativo di marcare un confine tra logica e matematica. L'indice dei capitoli: La serie dei numeri naturali La definizione di numero Il finito e l'induzione matematica La definizione di ordine Tipi di relazioni Similitudine tra relazioni I numeri razionali, reali e complessi Numeri cardinali infiniti Serie e ordinali infiniti Limiti e continuità Limiti e continuità delle funzioni Le selezioni e l'assioma moltiplicativo L'assioma dell'infinito e i tipi logici L'incompatibilità e l'assioma della deduzione Le funzioni proposizionali Le descrizioni Le classi Matematica e logica

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.

L'aritmetica (dal greco ἀριθμός = numero) è la più antica branca della matematica, quella che studia le proprietà elementari delle operazioni aritmetiche sui numeri, specialmente i numeri interi. È praticata quotidianamente da tutti per scopi molto semplici, come contare oggetti, valutare costi, stabilire distanze; viene utilizzata anche per scopi avanzati, ad esempio in complessi calcoli finanziari o nella tecnologia delle comunicazioni (crittografia). I matematici talvolta usano il termine aritmetica per indicare la teoria dei numeri; questa disciplina però tratta problemi più avanzati e specifici rispetto all'aritmetica elementare e non viene presa in considerazione nel presente articolo.