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).

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.

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