biblio toscana

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

'La logica matematica \xc3\xa8 il settore della matematica che studia\ni sistemi formali dal punto di vista del modo di codificare\ni concetti intuitivi della dimostrazione e di computazione\ncome 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\xc3\xb9 specificamente a taluni aspetti della teoria della dimostrazione.\n\n'

"L'aritmetica (dal greco \xe1\xbc\x80\xcf\x81\xce\xb9\xce\xb8\xce\xbc\xcf\x8c\xcf\x82 = numero) \xc3\xa8 la pi\xc3\xb9 antica branca della matematica, quella che studia le propriet\xc3\xa0 elementari delle operazioni aritmetiche sui numeri, specialmente i numeri interi.\n\xc3\x88 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).\nI matematici talvolta usano il termine aritmetica per indicare la teoria dei numeri; questa disciplina per\xc3\xb2 tratta problemi pi\xc3\xb9 avanzati e specifici rispetto all'aritmetica elementare e non viene presa in considerazione nel presente articolo.\n\n"