Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Autore principale: Russell, Bertrand
Serie: Paperbacks saggi ; 37
Serie: Paperbacks saggi ; 37
Serie: Paperbacks saggi ; 37
Serie: Paperback saggi ; 37
Serie: Paperbacks Saggi ; 37
Serie: Paperbacks saggi ; 155
Serie: Grandi Tascabili Economici ; 43
Serie: Grandi tascabili economici ; 43
Serie: = Grandi tascabili economici ; 43
Serie: Grandi Tascabili Economici ; 43
Serie: I grandi pensatori ; 0007
Serie: Grandi tascabili economici Newton. Serie oro ; 43
Serie: Il labirinto ; 10
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.
Record aggiornato il: 2024-07-23T02:02:36.831Z