La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] costruita mediante tali procedure a partire dai numerinaturali: "Il buon Dio ci ha dato i numeri; tutto il resto è opera dell' stata "anche la dimostrazione dell'esistenza matematica dell'insiemedeinumeri reali, ovvero del continuo". Come il primo, ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] deinumeri: la derivazione deinumeri (naturali) a partire dall'unità, la loro suddivisione in pari e dispari, i numeri primi, i numeri composti e i numeri primi relativi, e i numeri raccolte di esercizi dei monasteri. Insieme con altri problemi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica deinumeri
Günther Frei
Teoria analitica deinumeri
La teoria analitica deinumeri non è una teoria matematica ben definita, [...] primi siano uniformemente distribuiti tra le φ(m) classi di congruenza modulo un numeronaturale m che sono prime con m, il metodo di Dirichlet implica che, se M(a) denota l'insiemedei primi p della forma p=mx1a con a primo con p, allora:
Ciò ...
Leggi Tutto
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
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...