biblio toscana

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.

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.

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.

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

Alfred North Whitehead (Ramsgate, 15 febbraio 1861 – Cambridge, Massachusetts, 30 dicembre 1947) è stato un filosofo e matematico britannico. Si occupò di logica, matematica, fisica, epistemologia, teologia e metafisica. Insieme a Bertrand Russell fu autore dei tre volumi di cui si compongono i Principia Mathematica, opera che si proponeva l'ambizioso programma di fondare la matematica sulla logica. In La scienza e il mondo moderno (1925), Processo e realtà (1929) e Avventure di idee (1933), Whitehead tentò una mediazione tra l'istanza filosofica e la visione scientifica del mondo e formulò una metafisica organicistica, basata sulle idee di Leibniz e di Bergson.