Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] insieme.
La formalizzazione di algoritmo mise quindi in evidenza un fatto destinato a divenire uno dei cardini della teoria della computazione: poichè la classe delle funzioni non è numerabile come codifica di numerinaturali, la risoluzione di ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] di numeri senza una teoria generale che ha il suo ambiente naturale nell’insieme infinito di tutti i numeri. Tutto riuscirà mai a caratterizzare completamente e univocamente la struttura deinumeri interi, che pure è l’oggetto matematico più ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] Nel caso di ⇒∀, essa si presenta nella forma
dove il numero delle premesse è infinito: per dimostrare ∀xA si dimostrano tutti i , quei modelli cioè che hanno come dominio l'insieme ℕ deinaturali. Infine, l'Hauptsatz mantiene tutti i suoi corollari ...
Leggi Tutto
Scienza indiana: periodo vedico. La matematica e l'astronomia nei testi vedici
Takao Hayashi
David Pingree
La matematica e l'astronomia nei testi vedici
Espressioni numeriche nei testi vedici
di Takao [...] il gaṇaka, che è sacrificato alla divinità dei canti insieme a un suonatore di vīṇā (uno strumento a 100 e 200, ma sembra che si tratti dell'abbreviazione della serie di numerinaturali da 1 a 200 o più. Secondo l'interpretazione tradizionale, "uno" ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] oggetti, dotata per ogni coppia a,b di oggetti di un insieme di elementi, indicato hom(A,B), detti morfismi o frecce (per naturale ad A e denotata (a, b), che assume evidentemente come valori dei polinomi di Laurent, e infine si considera il numero ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] ) di fornire una sistemazione della teoria deinumeri complessi e di quelli negativi, ricorrendo aritmetiche e le lettere designano numerinaturali. L'algebra simbolica è a tale sviluppo, Peirce fissa un insieme di assiomi per la logica enunciativa e ...
Leggi Tutto
Convessità
Arrigo Cellina
La convessità è un concetto della matematica elementare; le parole concavo e convesso fanno parte del linguaggio quotidiano. Eppure questo semplice concetto, unito ad altre [...] non un altro punto ma un insieme. Uno dei problemi naturali riguardanti le mappe multivoche consiste nel di un equilibrio, cioè di una allocazione x da A in ℝn (n è il numero delle merci che vengono scambiate) e di un vettore prezzi p in ℝn per cui ...
Leggi Tutto
L'Ottocento: matematica. Calcolo geometrico
Paolo Freguglia
Gert Schubring
Calcolo geometrico
Uno degli aspetti che hanno caratterizzato lo sviluppo della matematica nell'Ottocento è rappresentato [...] naturale. Le convinzioni di Carnot aiutano a comprendere l'atteggiamento di quei matematici, in particolare di ambito culturale francese, che si occuparono della natura deinumeri superiore: si considera l'insieme degli elementi ottenuti generando ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Luigi Lagrange
Luigi Pepe
Lagrange fu uno dei maggiori scienziati dell’età dei lumi. Giovanissimo, iniziò una corrispondenza con i più importanti matematici dell’epoca, tra cui Jean-Baptiste [...] nel campo delle scienze matematiche e naturali.
Al 1759 risale la prima lettera memorie di algebra, di analisi, di teoria deinumeri, di meccanica, di astronomia.
Con il Antoine-Laurent Lavoisier, contribuendo insieme ad altri matematici, come ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] nome: zero è un numeronaturale; il successore di un numeronaturale è un numeronaturale; due numeri con successori uguali sono per la teoria deinumeri algebrici, Francesco Giudice per le serie e Giulio Vivanti sulla teoria degli insiemi; fra gli ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...