biblio toscana

'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"