biblio toscana

Charles Sanders Peirce (Cambridge, 10 settembre 1839 – Milford, 19 aprile 1914) è stato un matematico, filosofo, semiologo, logico, scienziato e accademico statunitense. Conosciuto per i suoi contributi, oltre che alla logica anche all'epistemologia, Peirce è stato un importante studioso, considerato fondatore del pragmatismo e uno dei padri della moderna semiotica (o teoria del segno, inteso come atto di comunicazione). Negli ultimi decenni il suo pensiero è stato fortemente rivalutato, fino a porlo tra i principali innovatori in molti campi, specialmente nella metodologia della ricerca e nella filosofia della scienza.

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.