biblio toscana

'Il lambda calcolo o \xce\xbb-calcolo \xc3\xa8 un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo. Le prime sono espresse per mezzo di un linguaggio formale, che stabilisce quali siano le regole per formare un termine, il secondo con un sistema di riscrittura, che definisce come i termini possano essere ridotti e semplificati.\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"